Nikolaos Alexiou

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