Showing cs.CRShow all
2 papers · 1 filter
cs.CR2009
State Space Reduction with Message Inspection in Security Protocol Model Checking
Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis
Model checking is a widespread automatic formal analysis that has been successful in discovering flaws in security protocols. However existing possibilities for state space explosi…
cs.CR2009
Attacking an OT-Based Blind Signature Scheme
Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis
In this paper, we describe an attack against one of the Oblivious-Transfer-based blind signatures scheme, proposed in [1]. An attacker with a primitive capability of producing spec…