||| How fast do you heal? A taxonomy for post-compromise security in secure-channel establishment , In 32nd USENIX Security Symposium, USENIX Security 2023, Anaheim, CA, USA, August 9-11, 2023 (Joseph A. Calandrino, Carmela Troncoso, eds.), USENIX Association, 2023.
|||MARSHAL: Messaging with Asynchronous Ratchets and Signatures for faster HeALing , In Symposium on Applied Computing (SAC), 2022. |
|||How to (Legally) Keep Secrets from Mobile Operators , In Computer Security - ESORICS 2021 - 26th European Symposium on Research in Computer Security, Darmstadt, Germany, October 4-8, 2021, Proceedings, Part I (Elisa Bertino, Haya Shulman, Michael Waidner, eds.), Springer, volume 12972, 2021. |
||| SAID: Reshaping Signal into an Identity-Based Asynchronous Messaging Protocol with Authenticated Ratcheting , In IEEE European Symposium on Security and Privacy, EuroS&P 2019, Stockholm, Sweden, June 17-19, 2019, IEEE, 2019.