publication 2021 Implementing and measuring KEMTLS Sofía Celi, Armando Faz Hernandez, Nick Sullivan, goutam-tamvada, Luke Valenta, thom-wiggers, Bas Westerbaan, Christopher Wood cryptographymeasurement
publication 2021 Post-quantum TLS without handshake signatures Sofía Celi, Armando Faz Hernandez, Peter Schwabe, Douglas Stebila, thom-wiggers cryptography
publication 2022 A tale of two models: Formal verification of KEMTLS via Tamarin Sofía Celi, Jonathan Hoyland, Douglas Stebila, thom-wiggers cryptography
publication 2024 RFC 9578: Privacy Pass Issuance Protocols Sofía Celi, Alex Davidson, Steven Valdez, Christopher Wood cryptographyprotocols
publication 2022 A Fast and Simple Partially Oblivious PRF, with Applications Nirvan Tyagi, Sofía Celi, thomas-ristenpart, Nick Sullivan, Stefano Tessaro, Christopher Wood cryptography