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

Stéphanie Delaune and Lucca Hirschi. A survey of symbolic methods for establishing equivalence-based properties in cryptographic protocols. Journal of Logical and Algebraic Methods in Programming, 87:127–144, 2016.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@Article{SD-jlamp16,
  author =	 {St\'ephanie Delaune and Lucca Hirschi},
  title =	 {A survey of symbolic methods for establishing
                  equivalence-based properties in cryptographic
                  protocols},
  journal =	 {Journal of Logical and Algebraic Methods in
                  Programming},
  year =	 2016,
  pages =	 {127-144},
  url =		 {https://arxiv.org/abs/1610.08279},
  volume =	 87,
}