Follow
Eduardo dos Santos
Title
Cited by
Cited by
Year
Cyber-biosecurity Risk Perceptions in the Biotech Sector
KK MILLETT, E dos Santos, PD MILLETT
Frontiers in Bioengineering and Biotechnology 7, 136, 2019
292019
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
202015
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
82016
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
32012
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
12018
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
The system can't perform the operation now. Try again later.
Articles 1–11