Panagiotis Katsaros

	2009
12		Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis: Attacking an OT-Based Blind Signature Scheme CoRR abs/0906.2947: (2009)
11		Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis: State Space Reduction with Message Inspection in Security Protocol Model Checking CoRR abs/0909.0174: (2009)
	2008
10		Vasilios Almaliotis, Alexandros Loizidis, Panagiotis Katsaros, Panagiotis Louridas, Diomidis Spinellis: Static Program Analysis for Java Card Applets. CARDIS 2008: 17-31
9		Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou: A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats. COMPSAC 2008: 12-19
8		Konstantinos Mokos, Panagiotis Katsaros, Nick Bassiliades, Vangelis Vassiliadis, Maxime Perrotin: Towards Compositional Safety Analysis via Semantic Representation of Component Failure Behaviour. JCKBSE 2008: 405-414
	2007
7		George Kakarontzas, Panagiotis Katsaros, Ioannis Stamelos: Elastic Components: Addressing Variance of Quality Properties in Components. EUROMICRO-SEAA 2007: 31-38
6		Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis: Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees. SAFECOMP 2007: 238-251
5		Panagiotis Katsaros, Lefteris Angelis, Constantine Lazos: Performance and effectiveness trade-off for checkpointing in fault-tolerant distributed systems. Concurrency and Computation: Practice and Experience 19(1): 37-63 (2007)
	2006
4		Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis: Interlocking Control by Distributed Signal Boxes: Design and Verification with the SPIN Model Checker. ISPA 2006: 317-328
3		Panagiotis Katsaros, Nantia Iakovidou, Theodoros Soldatos: Evaluation of composite object replication schemes for dependable server applications. Information & Software Technology 48(9): 795-806 (2006)
	2005
2		Panagiotis Katsaros: On the Design of Access Control to Prevent Sensitive Information Leakage in Distributed Object Systems: A Colored Petri Net Based Model. OTM Conferences (2) 2005: 941-959
	2004
1		Panagiotis Katsaros, Constantine Lazos: Optimal Object State Transfer - Recovery Policies for Fault Tolerant Distributed Systems. DSN 2004: 762-771

Coauthor Index

1	Nikolaos Alexiou	[9]
2	Vasilios Almaliotis	[10]
3	Lefteris Angelis	[5]
4	Stylianos Basagiannis	[4] [6] [9] [11] [12]
5	Nick Bassiliades (N. Bassiliades)	[8]
6	Nantia Iakovidou	[3]
7	George Kakarontzas	[7]
8	Constantine Lazos	[1] [5]
9	Alexandros Loizidis	[10]
10	Panagiotis Louridas	[10]
11	Konstantinos Mokos	[8]
12	Maxime Perrotin	[8]
13	Andrew Pombortsis	[4] [6] [9] [11] [12]
14	Theodoros Soldatos	[3]
15	Diomidis Spinellis	[10]
16	Ioannis Stamelos	[7]
17	Vangelis Vassiliadis	[8]

Colors in the list of coauthors