Stylianos Basagiannis

	2012
17		Sophia G. Petridou, Stylianos Basagiannis: Towards energy consumption evaluation of the SSL handshake protocol in mobile communications. WONS 2012: 135-138
16		Dimitris Gritzalis, Panagiotis Katsaros, Stylianos Basagiannis, Yannis Soupionis: Formal analysis for robust anti-SPIT protection using model checking. Int. J. Inf. Sec. 11(2): 121-135 (2012)
	2011
15		Tushar Deshpande, Panagiotis Katsaros, Stylianos Basagiannis, Scott A. Smolka: Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking. HASE 2011: 360-367
14		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
13		Ioannis K. Paparrizos, Stylianos Basagiannis, Sophia G. Petridou: Quantitative analysis for authentication of low-cost RFID tags. LCN 2011: 295-298
12		Ioannis K. Paparrizos, Stylianos Basagiannis, Sophia G. Petridou: Quantitative Analysis for Authentication of Low-cost RFID Tags CoRR abs/1112.1086: (2011)
11		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)
10		Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis: Synthesis of attack actions using model checking for the verification of security protocols. Security and Communication Networks 4(2): 147-161 (2011)
	2010
9		Yannis Soupionis, Stylianos Basagiannis, Panagiotis Katsaros, Dimitris Gritzalis: A Formally Verified Mechanism for Countering SPIT. CRITIS 2010: 128-139
8		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
7		Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis: An intruder model with message inspection for model checking security protocols. Computers & Security 29(1): 16-34 (2010)
	2009
6		Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis: Attacking an OT-Based Blind Signature Scheme CoRR abs/0906.2947: (2009)
5		Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis: State Space Reduction with Message Inspection in Security Protocol Model Checking CoRR abs/0909.0174: (2009)
4		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
3		Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou: A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats. COMPSAC 2008: 12-19
	2007
2		Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis: Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees. SAFECOMP 2007: 238-251
	2006
1		Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis: Interlocking Control by Distributed Signal Boxes: Design and Verification with the SPIN Model Checker. ISPA 2006: 317-328

Coauthor Index

1	Nikolaos Alexiou	[3] [4] [8] [11] [14]
2	Tushar Deshpande	[8] [15]
3	Dimitris Gritzalis	[9] [16]
4	Panagiotis Katsaros	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [14] [15] [16]
5	Georgios I. Papadimitriou	[11] [14]
6	Ioannis K. Paparrizos	[12] [13]
7	Sophia G. Petridou	[11] [12] [13] [14] [17]
8	Andrew Pombortsis	[1] [2] [3] [4] [5] [6] [7] [10]
9	Scott A. Smolka	[8] [15]
10	Yannis Soupionis	[9] [16]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page