1. 2021. Full version. https://drive.google.com/file/d/1KlJmyn-5LDEzOKCY5C3erEAfaRl0X-m1/view?usp=sharing. 2021. Full version. https://drive.google.com/file/d/1KlJmyn-5LDEzOKCY5C3erEAfaRl0X-m1/view?usp=sharing.
2. 2021. Implementation of MARSHAL. https://github.com/anonym-123/marshal. 2021. Implementation of MARSHAL. https://github.com/anonym-123/marshal.
3. The Double Ratchet: Security Notions, Proofs, and Modularization for the Signal Protocol
4. Ratcheted Encryption and Key Exchange: The Security of Messaging
5. Olivier Blazy , Angèle Bossuat , Xavier Bultel , Pierre-Alain Fouque , Cristina Onete , and Elena Pagnin . 2019 . SAID: Reshaping Signal into an Identity-Based Asynchronous Messaging Protocol with Authenticated Ratcheting. (2019). Olivier Blazy, Angèle Bossuat, Xavier Bultel, Pierre-Alain Fouque, Cristina Onete, and Elena Pagnin. 2019. SAID: Reshaping Signal into an Identity-Based Asynchronous Messaging Protocol with Authenticated Ratcheting. (2019).