Modular Design of Secure Group Messaging Protocols and the Security of MLS
暂无分享,去创建一个
Yevgeniy Dodis | Sandro Coretti | Joël Alwen | Yiannis Tselekounis | Yiannis Tselekounis | J. Alwen | Sandro Coretti | Y. Dodis
[1] Cas J. F. Cremers,et al. On Ends-to-Ends Encryption: Asynchronous Group Messaging with Strong Security Guarantees , 2018, IACR Cryptol. ePrint Arch..
[2] Yevgeniy Dodis,et al. Public Key Broadcast Encryption for Stateless Receivers , 2002, Digital Rights Management Workshop.
[3] Richard Barnes,et al. The Messaging Layer Security (MLS) Protocol , 2019 .
[4] Moni Naor,et al. Multicast security: a taxonomy and some efficient constructions , 1999, IEEE INFOCOM '99. Conference on Computer Communications. Proceedings. Eighteenth Annual Joint Conference of the IEEE Computer and Communications Societies. The Future is Now (Cat. No.99CH36320).
[5] Douglas Stebila,et al. A Formal Security Analysis of the Signal Messaging Protocol , 2017, Journal of Cryptology.
[6] Gene Tsudik,et al. Group key agreement efficient in communication , 2004, IEEE Transactions on Computers.
[7] Saurabh Panjwani,et al. Tackling Adaptive Corruptions in Multicast Encryption Protocols , 2007, TCC.
[8] Hugo Krawczyk,et al. Cryptographic Extraction and Key Derivation: The HKDF Scheme , 2010, IACR Cryptol. ePrint Arch..
[9] Eric J. Harder,et al. Key Management for Multicast: Issues and Architectures , 1999, RFC.
[10] Michael Walter,et al. Keep the Dirt: Tainted TreeKEM, an Efficient and Provably Secure Continuous Group Key Agreement Protocol , 2019, IACR Cryptol. ePrint Arch..
[11] Yevgeniy Dodis,et al. On the Price of Concurrency in Group Ratcheting Protocols , 2020, IACR Cryptol. ePrint Arch..
[12] Yevgeniy Dodis,et al. Security Analysis and Improvements for the IETF MLS Standard for Group Messaging , 2020, IACR Cryptol. ePrint Arch..
[13] Daniel Jost,et al. On The Insider Security of MLS , 2020, IACR Cryptol. ePrint Arch..
[14] Karthikeyan Bhargavan,et al. Formal Models and Verified Protocols for Group Messaging: Attacks and Proofs for IETF MLS , 2019 .
[15] Whitfield Diffie,et al. A Secure Audio Teleconference System , 1988, CRYPTO.
[16] Ueli Maurer,et al. Efficient Ratcheting: Almost-Optimal Guarantees for Secure Messaging , 2019, IACR Cryptol. ePrint Arch..
[17] Ilan Komargodski,et al. Be Adaptive, Avoid Overcommitting , 2017, CRYPTO.
[18] Mohamed G. Gouda,et al. Secure group communications using key graphs , 1998, SIGCOMM '98.
[19] Amos Fiat,et al. Broadcast Encryption , 1993, CRYPTO.
[20] Daniel Jost,et al. Continuous Group Key Agreement with Active Security , 2020, IACR Cryptol. ePrint Arch..
[21] Mohamed G. Gouda,et al. Secure group communications using key graphs , 2000, TNET.
[22] Suvo Mittra,et al. Iolus: a framework for scalable secure multicasting , 1997, SIGCOMM '97.
[23] Britta Hale,et al. Revisiting Post-Compromise Security Guarantees in Group Messaging , 2019, IACR Cryptol. ePrint Arch..
[24] Konrad Kohbrok,et al. Cryptographic Security of the MLS RFC, Draft 11 , 2021, IACR Cryptol. ePrint Arch..
[25] David Jao,et al. Towards Post-Quantum Updatable Public-Key Encryption via Supersingular Isogenies , 2020, IACR Cryptol. ePrint Arch..
[26] Yevgeniy Dodis,et al. The Double Ratchet: Security Notions, Proofs, and Modularization for the Signal Protocol , 2019, IACR Cryptol. ePrint Arch..