Cited By
View all- 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
- Shao JQin YFeng D(2016)Computational Soundness Results for Stateful Applied $$\pi $$π CalculusProceedings of the 5th International Conference on Principles of Security and Trust - Volume 963510.5555/3089491.3089507(254-275)Online publication date: 2-Apr-2016
- Show More Cited By