Eduardo dos Santos
Eduardo dos Santos
Verifierad e-postadress på cybersecurity.ox.ac.uk - Startsida
Titel
Citeras av
Citeras av
År
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
92015
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
6*2017
Cyber-biosecurity Risk Perceptions in the Biotech Sector
KK MILLETT, E dos Santos, PD MILLETT
Frontiers in Bioengineering and Biotechnology 7, 136, 2019
32019
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
22016
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
22012
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
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–11