A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats. - Stylianos Basagiannis; Panagiotis Katsaros; Andrew Pombortsis; Nikolaos Alexiou 001 (COMPSAC, 2008)

Probabilistic model checking for the quantification of DoS security threats. - Stylianos Basagiannis; Panagiotis Katsaros; Andrew Pombortsis; Nikolaos Alexiou 001 (Comput. Secur., 2009)

Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking. - Nikolaos Alexiou 001; Stylianos Basagiannis; Panagiotis Katsaros; Tushar Deshpande; Scott A. Smolka (HASE, 2010)

Quantitative model checking of an RSA-based email protocol on mobile devices. - Sophia G. Petridou; Stylianos Basagiannis; Nikolaos Alexiou 001; Georgios I. Papadimitriou; Panagiotis Katsaros (ISCC, 2011)

Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approach. - Stylianos Basagiannis; Sophia G. Petridou; Nikolaos Alexiou 001; Georgios I. Papadimitriou; Panagiotis Katsaros (Comput. Secur., 2011)

Key splitting for random key distribution schemes. - Mohammad Ehdaie; Nikolaos Alexiou 001; Mahmoud Ahmadian-Attari; Mohammad Reza Aref; Panos Papadimitratos (ICNP, 2012)

Towards a secure and privacy-preserving multi-service vehicular architecture. - Nikolaos Alexiou 001; Stylianos Gisdakis; Marcello Lagana; Panagiotis Papadimitratos (WOWMOM, 2013)

Security analysis of NFC relay attacks using probabilistic model checking. - Nikolaos Alexiou 001; Stylianos Basagiannis; Sophia G. Petridou (IWCMC, 2014)

Key splitting: making random key distribution schemes resistant against node capture. - Mohammad Ehdaie; Nikolaos Alexiou 001; Mahmoud Ahmadian-Attari; Mohammad Reza Aref; Panos Papadimitratos (Secur. Commun. Networks, 2015)

Formal security analysis of near field communication using model checking. - Nikolaos Alexiou 001; Stylianos Basagiannis; Sophia G. Petridou (Comput. Secur., 2016)

2D Hash Chain robust Random Key Distribution scheme. - Mohammad Ehdaie; Nikos Alexiou; Mahmoud Ahmadian-Attari; Mohammad Reza Aref; Panos Papadimitratos (Inf. Process. Lett., 2016)

Ka-band Integrated Transmitter for SATCOM. - Nikos Naskas; Nikos Alexiou; Spyros Gkardiakos; Aris Agathokleous; Nikos Tsoutsos; Kostas Kontaxis; George Ntounas (ICECS, 2020)

VeSPA: Vehicular Security and Privacy-preserving Architecture. - Nikolaos Alexiou 001; Marcello Lagana; Stylianos Gisdakis; Mohammad Khodaei; Panagiotis Papadimitratos (CoRR, 2020)

A Low Phase Noise Fractional-N PLL for mmWave Telecom and RADAR Applications. - Nikos Naskas; Nikos Alexiou; Spyros Gkardiakos; Aris Agathokleous; Nikos Tsoutsos; Kostas Kontaxis; George Ntounas; Giannis Kousparis (ICECS, 2021)