publication2021Implementing and measuring KEMTLSSofía Celi, Armando Faz Hernandez, Nick Sullivan, Goutam Tamvada, Luke Valenta, Thom Wiggers, Bas Westerbaan, Christopher WoodCryptographyMeasurement
publication2021Post-quantum TLS without handshake signaturesSofía Celi, Armando Faz Hernandez, Peter Schwabe, Douglas Stebila, Thom WiggersCryptography
publication2022A tale of two models: Formal verification of KEMTLS via TamarinSofía Celi, Jonathan Hoyland, Douglas Stebila, Thom WiggersCryptography
publication2024RFC 9578: Privacy Pass Issuance ProtocolsSofía Celi, Alex Davidson, Steven Valdez, Christopher WoodCryptographyProtocols
publication2022A Fast and Simple Partially Oblivious PRF, with ApplicationsNirvan Tyagi, Sofía Celi, Thomas Ristenpart, Nick Sullivan, Stefano Tessaro, Christopher WoodCryptography