Nikolaos Alexiou

Nikolaos Alexiou

Royal Institute of Technology - Stockholm / Sweden
Others
AD Scientific Index ID: 6013797
KTH Royal Institute of Technology
person_outline Nikolaos Alexiou's MOST POPULAR ARTICLES
1-) Vespa: Vehicular security and privacy-preserving architectureN Alexiou, M Laganà, S Gisdakis, M Khodaei, P PapadimitratosProceedings of the 2nd ACM workshop on Hot topics on wireless network …, 2013762013
2-) Formal analysis of the kaminsky DNS cache-poisoning attack using probabilistic model checkingN Alexiou, S Basagiannis, P Katsaros, T Dashpande, SA Smolka2010 IEEE 12th International Symposium on High Assurance Systems Engineering …, 2010522010
3-) Probabilistic model checking for the quantification of DoS security threatsS Basagiannis, P Katsaros, A Pombortsis, N AlexiouComputers & Security 28 (6), 450-465, 2009412009
4-) Formal security analysis of near field communication using model checkingN Alexiou, S Basagiannis, S Petridoucomputers & security 60, 1-14, 2016332016
5-) Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approachS Basagiannis, S Petridou, N Alexiou, G Papadimitriou, P KatsarosComputers & Security 30 (4), 257-272, 2011282011