Eduardo dos Santos
Publications by Year
Research Areas
Vehicular Ad Hoc Networks (VANETs), Formal Methods in Verification, Software Testing and Debugging Techniques, Advanced Authentication Protocols Security, User Authentication and Security Systems
Most-Cited Works
- → Cyber-Biosecurity Risk Perceptions in the Biotech Sector(2019)26 cited
- → A Formal Model to Facilitate Security Testing in Modern Automotive Systems(2018)13 cited
- → An adaptive threat model for security ceremonies(2014)13 cited
- → Formal models for automotive systems and vehicular networks: Benefits and challenges(2016)7 cited
- → Production of polyhydroxyalkanoate biopolymer from vinasse using Ralstonia eutropha(2014)3 cited
- Towards a Simulation−based Framework for the Security Testing of Autonomous Vehicles(2018)
- A Formal Model to Facilitate Security Testing in Modern Automotive Systems.(2017)
- → Towards a Formal Verification of a Multi-factor Authentication Protocol Using Automated Theorem Provers(2012)1 cited
- → Maritime Education and Training (met) Cybersecurity and iso/iec 27001:2022 from Maritime Academy of Asia and the Pacific (maap) Perspectives and Traditions(2023)1 cited
- Integrating Performance Measurement System with Enterprise Risk Management : A Comprehensive Model for Trafigura(2014)