5 citations · 7 across the 4 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.CR2014★ 5 cited
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…
cs.CR2014
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…