A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols

26 October 2016

Papers citing "A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols"

2 / 2 papers shown

Title
Journey Beyond Full Abstraction: Exploring Robust Property Preservation for Secure Compilation Carmine Abate Roberto Blanco Deepak Garg Cătălin Hriţcu Marco Patrignani Jérémy Thibault 9 65 0 12 Jul 2018
Formal Analysis of V2X Revocation Protocols Jorden Whitefield Liqun Chen F. Kargl Andrew Paverd Steve A. Schneider H. Treharne S. Wesemeyer 17 29 0 24 Apr 2017