5 citations · 7 across the 4 of their papers we have counts for
4 papers · 1 filter
DeepSec: Deciding Equivalence Properties for Security Protocols -- Improved theory and practice
Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
Automated verification has become an essential part in the security evaluation of cryptographic protocols. In this context privacy-type properties are often modelled by indistingui…
Dynamic Tags for Security Protocols
Myrto Arapinis, Stéphanie Delaune, Steve Kremer
The design and verification of cryptographic protocols is a notoriously difficult task, even in symbolic models which take an abstract view of cryptography. This is mainly due to t…
Automated analysis of security protocols with global state
Steve Kremer, Robert Künnemann
Security APIs, key servers and protocols that need to keep the status of transactions, require to maintain a global, non-monotonic state, e.g., in the form of a database or registe…
Proceedings 7th International Workshop on Security Issues in Concurrency
Michele Boreale, Steve Kremer
This volume contains the proceedings of the 7th Workshop on Security Issues in Concurrency (SecCo'09). The workshop was held in Bologna, Italy on September 5th 2009, as a satellite…