Author:
Brzuska Chris,Egger Christoph,Puniamurthy Kirthivaasan
Publisher
Springer Nature Switzerland
Reference38 articles.
1. Abate, C., et al.: SSProve: a foundational framework for modular cryptographic proofs in coq. In: Küsters, R., Naumann, D., (eds.) CSF 2021 Computer Security Foundations Symposium, pp. 1–15. IEEE Computer Society Press (2021)
2. Part I, volume 8269 of LNCS;P Baecher,2013
3. Bhargavan, K., Barnes, R., Rescorla, E.: TreeKEM: Asynchronous Decentralized Key Management for Large Dynamic Groups A protocol proposal for Messaging Layer Security (MLS). Research report, Inria Paris (2018)
4. Brzuska, C., Cornelissen, E., Kohbrok, K.: Security analysis of the MLS key derivation. In: 2022 IEEE Symposium on Security and Privacy, pp. 2535–2553. IEEE Computer Society Press (2022)
5. Part I, volume 13791 of LNCS;C Brzuska,2022