Cited By
View all- Gancher JSojakova KFan XShi EMorrisett G(2023)A Core Calculus for Equational Proofs of Cryptographic ProtocolsProceedings of the ACM on Programming Languages10.1145/35712237:POPL(866-892)Online publication date: 9-Jan-2023
- Dax AKunnemann RTangermann SBackes M(2019)How to Wrap it up - A Formally Verified Proposal for the use of Authenticated Wrapping in PKCS#112019 IEEE 32nd Computer Security Foundations Symposium (CSF)10.1109/CSF.2019.00012(62-6215)Online publication date: Jun-2019
- Micciancio D(2019)Symbolic Encryption with Pseudorandom KeysAdvances in Cryptology – EUROCRYPT 201910.1007/978-3-030-17659-4_3(64-93)Online publication date: 19-May-2019
- Show More Cited By