Nikolaos Alexiou

KTH / Aristotle University of Thessaloniki, Greece

other persons with the same name:

• Nikolaos Alexiou - National Technical Iniversity of Athens, Greece

	2011
5		Sophia G. Petridou, Stylianos Basagiannis, Nikolaos Alexiou, Georgios I. Papadimitriou, Panagiotis Katsaros: Quantitative model checking of an RSA-based email protocol on mobile devices. ISCC 2011: 639-645
4		Stylianos Basagiannis, Sophia G. Petridou, Nikolaos Alexiou, Georgios I. Papadimitriou, Panagiotis Katsaros: Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approach. Computers & Security 30(4): 257-272 (2011)
	2010
3		Nikolaos Alexiou, Stylianos Basagiannis, Panagiotis Katsaros, Tushar Deshpande, Scott A. Smolka: Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking. HASE 2010: 94-103
	2009
2		Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou: Probabilistic model checking for the quantification of DoS security threats. Computers & Security 28(6): 450-465 (2009)
	2008
1		Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou: A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats. COMPSAC 2008: 12-19

Coauthor Index

1	Stylianos Basagiannis	[1] [2] [3] [4] [5]
2	Tushar Deshpande	[3]
3	Panagiotis Katsaros	[1] [2] [3] [4] [5]
4	Georgios I. Papadimitriou	[4] [5]
5	Sophia G. Petridou	[4] [5]
6	Andrew Pombortsis	[1] [2]
7	Scott A. Smolka	[3]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page