Interlocking Control by Distributed Signal Boxes: Design and Verification with the SPIN Model Checker. - Stylianos Basagiannis; Panagiotis Katsaros; Andrew Pombortsis (ISPA, 2006)

Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees. - Stylianos Basagiannis; Panagiotis Katsaros; Andrew Pombortsis (SAFECOMP, 2007)

A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats. - Stylianos Basagiannis; Panagiotis Katsaros; Andrew Pombortsis; Nikolaos Alexiou 001 (COMPSAC, 2008)

Probabilistic model checking for the quantification of DoS security threats. - Stylianos Basagiannis; Panagiotis Katsaros; Andrew Pombortsis; Nikolaos Alexiou 001 (Comput. Secur., 2009)

Attacking an OT-Based Blind Signature Scheme - Stylianos Basagiannis; Panagiotis Katsaros; Andrew Pombortsis (CoRR, 2009)

State Space Reduction with Message Inspection in Security Protocol Model Checking - Stylianos Basagiannis; Panagiotis Katsaros; Andrew Pombortsis (CoRR, 2009)

An intruder model with message inspection for model checking security protocols. - Stylianos Basagiannis; Panagiotis Katsaros; Andrew Pombortsis (Comput. Secur., 2010)

Synthesis of attack actions using model checking for the verification of security protocols. - Stylianos Basagiannis; Panagiotis Katsaros; Andrew Pombortsis (Secur. Commun. Networks, 2011)