A tool for automating the computationally complete symbolic attacker (Extended Abstract)

A tool for automating the computationally complete symbolic attacker (Extended Abstract). Hubert Comon-Lundh, Véronique Cortier, and Guillaume Scerri. In Joint Workshop on Foundations of Computer Security and Formal and Computational Cryptography (FCS-FCC'14), Vienna, Austria, July 2014.

Download

[PDF] 

Abstract

(unavailable)

BibTeX

@InProceedings{CCS-fcc-fcs2014,
  author = 	 {Hubert Comon-Lundh and V\'eronique Cortier and Guillaume Scerri},
  title = 	 {A tool for automating the computationally complete symbolic attacker (Extended Abstract)},
  booktitle = {Joint Workshop on Foundations of Computer Security and Formal and Computational Cryptography (FCS-FCC'14)},
  year = 	 {2014},
  address = 	 {Vienna, Austria},
  month = 	 jul,
}