 | 2009 |
|---|
| 5 |       | Stylianos Basagiannis,
Panagiotis Katsaros,
Andrew Pombortsis:
Attacking an OT-Based Blind Signature Scheme
CoRR abs/0906.2947: (2009) |
| 4 | | Stylianos Basagiannis,
Panagiotis Katsaros,
Andrew Pombortsis:
State Space Reduction with Message Inspection in Security Protocol Model Checking
CoRR abs/0909.0174: (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 |
