Cortier, Véronique; Kremer, Steve; Warinschi, Bogdan A survey of symbolic methods in computational analysis of cryptographic systems. (English) Zbl 1213.94093 J. Autom. Reasoning 46, No. 3-4, 225-259 (2011). MSC: 94A60 PDFBibTeX XMLCite \textit{V. Cortier} et al., J. Autom. Reasoning 46, No. 3--4, 225--259 (2011; Zbl 1213.94093) Full Text: DOI Link
Cortier, Véronique; Kremer, Steve; Küsters, Ralf; Warinschi, Bogdan Computationally sound symbolic secrecy in the presence of hash functions. (English) Zbl 1177.94142 Arun-Kumar, S. (ed.) et al., FSTTCS 2006: Foundations of software technology and theoretical computer science. 26th international conference, Kolkata, India, December 13–15, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-49994-7/pbk). Lecture Notes in Computer Science 4337, 176-187 (2006). MSC: 94A60 PDFBibTeX XMLCite \textit{V. Cortier} et al., Lect. Notes Comput. Sci. 4337, 176--187 (2006; Zbl 1177.94142) Full Text: DOI