Cyber-biosecurity Risk Perceptions in the Biotech Sector KK MILLETT, E dos Santos, PD MILLETT Frontiers in Bioengineering and Biotechnology 7, 136, 2019 | 29 | 2019 |
An adaptive threat model for security ceremonies JE Martina, E Dos Santos, MC Carlos, G Price, RF Custódio International Journal of Information Security 14 (2), 103-121, 2015 | 20 | 2015 |
A Formal Model to Facilitate Security Testing in Modern Automotive Systems E dos Santos, D Schoop, A Simpson 2nd Workshop on Formal and Model-Driven Techniques for Developing …, 2017 | 18* | 2017 |
Formal models for automotive systems and vehicular networks: Benefits and challenges E dos Santos, D Schoop, A Simpson Vehicular Networking Conference (VNC), 2016 IEEE, 1-8, 2016 | 8 | 2016 |
Towards a formal verification of a multi-factor authentication protocol using automated theorem provers E dos Santos, JE Martina, RF Custódio 2012 IEEE 11th International Conference on Trust, Security and Privacy in …, 2012 | 3 | 2012 |
Towards a Simulation-based Framework for the Security Testing of Autonomous Vehicles E dos Santos, D Schoop 6th Embedded Security in Cars Conference USA, 2018 | 1 | 2018 |
Drug Control Through the Use of Secure Digital Prescriptions B Imhof, E dos Santos, LT Cavalini XIII Brazilian Congress on Healthcare Informatics (CBIS'12) 1, 1-6, 2012 | | 2012 |
A Cryptographic Protocol for Drug Control B Imhof, E dos Santos, RF Custódio Undergraduate Track of the XII Brazilian Symposium on Information and …, 2012 | | 2012 |
Formalisation and Verification of a Multifactor Authentication Protocol E dos Santos Federal University of Santa Catarina, 2012 | | 2012 |
Evaluating the Importance of the Methodologies for Applying Security Tests E dos Santos, R Coelho Nunes Undergraduate Track of the X Brazilian Symposium on Information and …, 2010 | | 2010 |
Evaluating the Importance of the Methodologies for Applying Security Tests E dos Santos Federal Institute of Santa Catarina, 2010 | | 2010 |