Eduardo dos Santos

According to our database, Eduardo dos Santos authored at least 5 papers between 2008 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

A Formal Model to Facilitate Security Testing in Modern Automotive Systems.

Eduardo dos Santos, Andrew Simpson, Dominik Schoop

Proceedings of the Proceedings Joint Workshop on Handling IMPlicit and EXplicit knowledge in formal system development (IMPEX) and Formal and Model-Driven Techniques for Developing Trustworthy Systems (FM&MDD), 2017

2016

Formal models for automotive systems and vehicular networks: Benefits and challenges.

Eduardo dos Santos, Dominik Schoop, Andrew Simpson

Proceedings of the 2016 IEEE Vehicular Networking Conference, 2016

2015

An adaptive threat model for security ceremonies.

Jean Everson Martina, Eduardo dos Santos, Marcelo Carlomagno Carlos, Geraint Price, Ricardo Felipe Custódio

Int. J. Inf. Sec., 2015

2012

Towards a Formal Verification of a Multi-factor Authentication Protocol Using Automated Theorem Provers.

Eduardo dos Santos, Jean Everson Martina, Ricardo Felipe Custódio

Proceedings of the 11th IEEE International Conference on Trust, 2012

2008

Evolução da cadeia de suprimentos na indústria de produtos e soluções para redes de computadores: estudo de múltiplos casos.

Eduardo dos Santos

PhD thesis, 2008