Nikolaos Alexiou

Publication Activity (10 Years)

Years Active: 2008-2020
Publications (10 Years): 3

Top Topics

Naive Bayesian Classification

Security Analysis

Automated Verification

Privacy Sensitive

Top Venues

Secur. Commun. Networks

Publications

Nikolaos Alexiou, Marcello Lagana, Stylianos Gisdakis, Mohammad Khodaei, Panagiotis Papadimitratos
VeSPA: Vehicular Security and Privacy-preserving Architecture. CoRR (2020)
Nikolaos Alexiou, Stylianos Basagiannis, Sophia G. Petridou
Formal security analysis of near field communication using model checking. Comput. Secur. 60 (2016)
Mohammad Ehdaie, Nikolaos Alexiou, Mahmoud Ahmadian-Attari, Mohammad Reza Aref, Panos Papadimitratos
Key splitting: making random key distribution schemes resistant against node capture. Secur. Commun. Networks 8 (3) (2015)
Nikolaos Alexiou, Stylianos Basagiannis, Sophia G. Petridou
Security analysis of NFC relay attacks using probabilistic model checking. IWCMC (2014)
Nikolaos Alexiou, Stylianos Gisdakis, Marcello Lagana, Panagiotis Papadimitratos
Towards a secure and privacy-preserving multi-service vehicular architecture. WOWMOM (2013)
Mohammad Ehdaie, Nikolaos Alexiou, Mahmoud Ahmadian-Attari, Mohammad Reza Aref, Panos Papadimitratos
Key splitting for random key distribution schemes. ICNP (2012)
Sophia G. Petridou, Stylianos Basagiannis, Nikolaos Alexiou, Georgios I. Papadimitriou, Panagiotis Katsaros
Quantitative model checking of an RSA-based email protocol on mobile devices. ISCC (2011)
Stylianos Basagiannis, Sophia G. Petridou, Nikolaos Alexiou, Georgios I. Papadimitriou, Panagiotis Katsaros
Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approach. Comput. Secur. 30 (4) (2011)
Nikolaos Alexiou, Stylianos Basagiannis, Panagiotis Katsaros, Tushar Deshpande, Scott A. Smolka
Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking. HASE (2010)
Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou
Probabilistic model checking for the quantification of DoS security threats. Comput. Secur. 28 (6) (2009)
Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou
A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats. COMPSAC (2008)