Nikolaos Alexiou

Key splitting for random key distribution schemes

Panagiotis Papadimitratos, Mohammad Reza Aref, Mahmoud Ahmadian-Attari, 2012, 2012 20th IEEE International Conference on Network Protocols (ICNP).

VeSPA: vehicular security and privacy-preserving architecture pdf

Panagiotis Papadimitratos, Mohammad Khodaei, Nikolaos Alexiou, 2013, HotWiSec '13.

Security analysis of NFC relay attacks using probabilistic model checking

Sophia G. Petridou, Stylianos Basagiannis, Nikolaos Alexiou, 2014, 2014 International Wireless Communications and Mobile Computing Conference (IWCMC).

Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approach

Georgios I. Papadimitriou, Panagiotis Katsaros, Sophia G. Petridou, 2011, Comput. Secur..

Probabilistic model checking for the quantification of DoS security threats

Panagiotis Katsaros, Stylianos Basagiannis, Andrew Pombortsis, 2009, Comput. Secur..

Key splitting: making random key distribution schemes resistant against node capture

Panagiotis Papadimitratos, Mohammad Reza Aref, Mahmoud Ahmadian-Attari, 2015, Secur. Commun. Networks.

Formal security analysis of near field communication using model checking

Sophia G. Petridou, Stylianos Basagiannis, Nikolaos Alexiou, 2016, Comput. Secur..

Towards a secure and privacy-preserving multi-service vehicular architecture

Panagiotis Papadimitratos, Nikolaos Alexiou, Stylianos Gisdakis, 2013, 2013 IEEE 14th International Symposium on "A World of Wireless, Mobile and Multimedia Networks" (WoWMoM).

A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats

Panagiotis Katsaros, Stylianos Basagiannis, Andrew Pombortsis, 2008, 2008 32nd Annual IEEE International Computer Software and Applications Conference.

Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking

Scott A. Smolka, Panagiotis Katsaros, Stylianos Basagiannis, 2010, 2010 IEEE 12th International Symposium on High Assurance Systems Engineering.

Quantitative model checking of an RSA-based email protocol on mobile devices

Georgios I. Papadimitriou, Panagiotis Katsaros, Sophia G. Petridou, 2011, 2011 IEEE Symposium on Computers and Communications (ISCC).