Eduardo dos Santos : Publications
-
[1]
A Formal Model to Facilitate Security Testing in Modern Automotive Systems
E. dos Santos‚ D. Schoop and A. C. Simpson
In Proceedings of FM&&MDD 2017. 2017.
Details about A Formal Model to Facilitate Security Testing in Modern Automotive Systems | BibTeX data for A Formal Model to Facilitate Security Testing in Modern Automotive Systems
-
[2]
Formal Models for Automotive Systems and Vehicular Networks: Benefits and Challenges
Eduardo dos Santos‚ Dominik Schoop and Andrew Simpson
In 2016 IEEE Vehicular Networking Conference (VNC) (IEEE VNC 2016). Pages 110–117. Columbus‚ USA. December, 2016.
Details about Formal Models for Automotive Systems and Vehicular Networks: Benefits and Challenges | BibTeX data for Formal Models for Automotive Systems and Vehicular Networks: Benefits and Challenges
-
[3]
Towards a Simulation−based Framework for the Security Testing of Autonomous Vehicles
Eduardo dos Santos and Dominik Schoop
In 6th Embedded Security in Cars USA. Pages 15. June, 2018.
Details about Towards a Simulation−based Framework for the Security Testing of Autonomous Vehicles | BibTeX data for Towards a Simulation−based Framework for the Security Testing of Autonomous Vehicles | Download (pdf) of Towards a Simulation−based Framework for the Security Testing of Autonomous Vehicles