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 (2008)

Towards a Formal Verification of a Multi-factor Authentication Protocol Using Automated Theorem Provers. - Eduardo dos Santos; Jean Everson Martina; Ricardo Felipe Custódio (TrustCom, 2012)

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)

Formal models for automotive systems and vehicular networks: Benefits and challenges. - Eduardo dos Santos; Dominik Schoop; Andrew Simpson 001 (VNC, 2016)

A Formal Model to Facilitate Security Testing in Modern Automotive Systems. - Eduardo dos Santos; Andrew Simpson 001; Dominik Schoop (IMPEX/FM&MDD, 2017)