Nikolaos Alexiou
Nikolaos Alexiou
Security Specialist
Geverifieerd e-mailadres voor kth.se - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
572013
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
422010
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
352009
Formal security analysis of near field communication using model checking
N Alexiou, S Basagiannis, S Petridou
computers & security 60, 1-14, 2016
252016
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
252011
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
142013
Security analysis of NFC relay attacks using probabilistic model checking
SP Nikolaos Alexiou, Stylianos Basagiannis
Wireless Communications and Mobile Computing Conference (IWCMC), 2014 …, 2014
13*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
132008
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
72016
Random Key Pre-Distribution Techniques against Sybil Attacks
M Ehdaie, N Alexiou, P Papadimitratos
Journal of Communication Engineering 5 (1), 1-13, 2016
52016
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
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
22017
D. Gritzalis and J. Lopez 325 A personal mobile DRM manager for smartphones S. Bhatt, R. Sion and B. Carbunar 327 New aspect-oriented constructs for security
A Mourad, A Soeanu, MA Laverdière, M Debbabi, DH Sadok, E Souto, ...
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–15