Follow
Nikolaos Alexiou
Nikolaos Alexiou
Security Specialist
Verified email at kth.se - Homepage
Title
Cited by
Cited by
Year
Vespa: Vehicular security and privacy-preserving architecture
N Alexiou, M Laganà, S Gisdakis, M Khodaei, P Papadimitratos
Proceedings of the 2nd ACM workshop on Hot topics on wireless network …, 2013
772013
Formal analysis of the kaminsky DNS cache-poisoning attack using probabilistic model checking
N Alexiou, S Basagiannis, P Katsaros, T Dashpande, SA Smolka
2010 IEEE 12th International Symposium on High Assurance Systems Engineering …, 2010
542010
Probabilistic model checking for the quantification of DoS security threats
S Basagiannis, P Katsaros, A Pombortsis, N Alexiou
Computers & Security 28 (6), 450-465, 2009
412009
Formal security analysis of near field communication using model checking
N Alexiou, S Basagiannis, S Petridou
computers & security 60, 1-14, 2016
332016
Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approach
S Basagiannis, S Petridou, N Alexiou, G Papadimitriou, P Katsaros
Computers & Security 30 (4), 257-272, 2011
282011
Towards a secure and privacy-preserving multi-service vehicular architecture
N Alexiou, S Gisdakis, M Laganà, P Papadimitratos
2013 IEEE 14th International Symposium on" A World of Wireless, Mobile and …, 2013
192013
Security analysis of NFC relay attacks using probabilistic model checking
SP Nikolaos Alexiou, Stylianos Basagiannis
Wireless Communications and Mobile Computing Conference (IWCMC), 2014 …, 2014
14*2014
A probabilistic attacker model for quantitative verification of dos security threats
S Basagiannis, P Katsaros, A Pombortsis, N Alexiou
2008 32nd Annual IEEE International Computer Software and Applications …, 2008
122008
Mitigating node capture attack in random key distribution schemes through key deletion
M Ehdaie, N Alexiou, M Ahmadian, MR Aref, P Papadimitratos
Journal of Communication Engineering 6 (2), 99-109, 2017
112017
2D hash chain robust random key distribution scheme
M Ehdaie, N Alexiou, M Ahmadian, MR Aref, P Papadimitratos
Information Processing Letters 116 (5), 367-372, 2016
112016
Random key pre-distribution techniques against sybil attacks
M Ehdaie, N Alexiou, P Papadimitratos
Journal of Communication Engineering 5 (1), 1-13, 2016
62016
Key splitting: making random key distribution schemes resistant against node capture
M Ehdaie, N Alexiou, MA Attari, MR Aref, P Papadimitratos
Security and Communication Networks 8 (3), 431-445, 2015
42015
Quantitative model checking of an rsa-based email protocol on mobile devices
S Petridou, S Basagiannis, N Alexiou, G Papadimitriou, P Katsaros
2011 IEEE Symposium on Computers and Communications (ISCC), 639-645, 2011
42011
Key splitting for random key distribution schemes
M Ehdaie, N Alexiou, M Ahmadian, MR Aref, P Papadimitratos
2012 20th IEEE International Conference on Network Protocols (ICNP), 1-6, 2012
32012
The system can't perform the operation now. Try again later.
Articles 1–14