Computationally Sound Symbolic Secrecy in the Presence of Hash Functions

DOI10.1007/11944836_18zbMath1177.94142OpenAlexW2274099342MaRDI QIDQ5385984

Steve Kremer, Ralf Küsters, Bogdan Warinschi, Véronique Cortier

Publication date: 17 April 2008

Published in: FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11944836_18

Mathematics Subject Classification ID

Cryptography (94A60)

Related Items

Sound and complete computational interpretation of symbolic hashes in the standard model ⋮ A survey of symbolic methods in computational analysis of cryptographic systems ⋮ Ideal Key Derivation and Encryption in Simulation-Based Security ⋮ On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography ⋮ Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption ⋮ Computational Soundness of Symbolic Analysis for Protocols Using Hash Functions

Uses Software

• AVISPA

This page was built for publication: Computationally Sound Symbolic Secrecy in the Presence of Hash Functions