Advances in Cryptology - CRYPTO 2003
From MaRDI portal
Publication:5428140
DOI10.1007/b11817zbMath1122.94376WikidataQ56235047 ScholiaQ56235047MaRDI QIDQ5428140
Publication date: 28 November 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b11817
94A60: Cryptography
Related Items
Computationally Sound Symbolic Analysis of Probabilistic Protocols with Ideal Setups, Formal Abstractions for Attested Execution Secure Processors, Soundness of Formal Encryption in the Presence of Key-Cycles, A survey of symbolic methods in computational analysis of cryptographic systems, Universally composable symbolic security analysis