Eduardo dos Santos

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 2

Top Topics

Symbolic Model Checking

Automated Theorem Provers

Security Patterns

Top Venues

Int. J. Inf. Sec.

University of São Paulo, Brazil (PHD)

Education History

University of São Paulo, Brazil

PHD

Publications

Eduardo dos Santos, Andrew Simpson, Dominik Schoop
A Formal Model to Facilitate Security Testing in Modern Automotive Systems. IMPEX/FM&MDD (2017)
Eduardo dos Santos, Dominik Schoop, Andrew Simpson
Formal models for automotive systems and vehicular networks: Benefits and challenges. VNC (2016)
Jean Everson Martina, Eduardo dos Santos, Marcelo Carlomagno Carlos, Geraint Price, Ricardo Felipe Custódio
An adaptive threat model for security ceremonies. Int. J. Inf. Sec. 14 (2) (2015)
Eduardo dos Santos, Jean Everson Martina, Ricardo Felipe Custódio
Towards a Formal Verification of a Multi-factor Authentication Protocol Using Automated Theorem Provers. TrustCom (2012)