Andrew Pombortsis

According to our database, Andrew Pombortsis authored at least 8 papers between 2006 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2011

Synthesis of attack actions using model checking for the verification of security protocols.

Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis

Secur. Commun. Networks, 2011

2010

An intruder model with message inspection for model checking security protocols.

Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis

Comput. Secur., 2010

2009

State Space Reduction with Message Inspection in Security Protocol Model Checking

Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis

CoRR, 2009

Attacking an OT-Based Blind Signature Scheme

Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis

CoRR, 2009

Probabilistic model checking for the quantification of DoS security threats.

Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou

Comput. Secur., 2009

2008

A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats.

Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou

Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007

Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees.

Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis

Proceedings of the Computer Safety, 2007

2006

Interlocking Control by Distributed Signal Boxes: Design and Verification with the SPIN Model Checker.

Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis

Proceedings of the Parallel and Distributed Processing and Applications, 2006