Sofía Celi

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 18

Top Topics

Formal Verification

Private Information Retrieval

Top Venues

IACR Cryptol. ePrint Arch.

IACR Trans. Cryptogr. Hardw. Embed. Syst.

Publications

Sofía Celi, Alex Davidson
Call Me By My Name: Simple, Practical Private Information Retrieval for Keyword Queries. IACR Cryptol. ePrint Arch. 2024 (2024)
Ward Beullens, Fabio Campos, Sofía Celi, Basil Hess, Matthias J. Kannwischer
Nibbling MAYO: Optimized Implementations for AVX2 and Cortex-M4. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2024 (2) (2024)
Sofía Celi, Alex Davidson, Steven Valdez, Christopher A. Wood
Privacy Pass Issuance Protocols. RFC 9578 (2024)
Sofía Celi, Shai Levin, Joe Rowell
CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness. AFRICACRYPT (2024)
Alex Davidson, Gonçalo Pestana, Sofía Celi
FrodoPIR: Simple, Scalable, Single-Server Private Information Retrieval. Proc. Priv. Enhancing Technol. 2023 (1) (2023)
Ward Beullens, Fabio Campos, Sofía Celi, Basil Hess, Matthias J. Kannwischer
Nibbling MAYO: Optimized Implementations for AVX2 and Cortex-M4. IACR Cryptol. ePrint Arch. 2023 (2023)
Sofía Celi, Shai Levin, Joe Rowell
CDLS: Proving Knowledge of Committed Discrete Logarithms with Soundness. IACR Cryptol. ePrint Arch. 2023 (2023)
Martin R. Albrecht, Sofía Celi, Benjamin Dowling, Daniel Jones
Practically-exploitable Cryptographic Vulnerabilities in Matrix. SP (2023)
Sofía Celi, Alex Davidson, Hamed Haddadi, Gonçalo Pestana, Joe Rowell
DiStefano: Decentralized Infrastructure for Sharing Trusted Encrypted Facts and Nothing More. IACR Cryptol. ePrint Arch. 2023 (2023)
Sofía Celi, Scott Griffy, Lucjan Hanzlik, Octavio Perez Kempner, Daniel Slamanig
SoK: Signatures With Randomizable Keys. IACR Cryptol. ePrint Arch. 2023 (2023)
Martin R. Albrecht, Sofía Celi, Benjamin Dowling, Daniel Jones
Practically-exploitable Cryptographic Vulnerabilities in Matrix. IACR Cryptol. ePrint Arch. 2023 (2023)
Sofía Celi, Jonathan Hoyland, Douglas Stebila, Thom Wiggers
A Tale of Two Models: Formal Verification of KEMTLS via Tamarin. ESORICS (3) (2022)
Sofía Celi, Jonathan Hoyland, Douglas Stebila, Thom Wiggers
A tale of two models: formal verification of KEMTLS via Tamarin. IACR Cryptol. ePrint Arch. 2022 (2022)
Nirvan Tyagi, Sofía Celi, Thomas Ristenpart, Nick Sullivan, Stefano Tessaro, Christopher A. Wood
A Fast and Simple Partially Oblivious PRF, with Applications. EUROCRYPT (2) (2022)
Alex Davidson, Gonçalo Pestana, Sofía Celi
FrodoPIR: Simple, Scalable, Single-Server Private Information Retrieval. IACR Cryptol. ePrint Arch. 2022 (2022)
Nirvan Tyagi, Sofía Celi, Thomas Ristenpart, Nick Sullivan, Stefano Tessaro, Christopher A. Wood
A Fast and Simple Partially Oblivious PRF, with Applications. IACR Cryptol. ePrint Arch. 2021 (2021)
Sofía Celi, Armando Faz-Hernández, Nick Sullivan, Goutam Tamvada, Luke Valenta, Thom Wiggers, Bas Westerbaan, Christopher A. Wood
Implementing and Measuring KEMTLS. LATINCRYPT (2021)
Sofía Celi, Armando Faz-Hernández, Nick Sullivan, Goutam Tamvada, Luke Valenta, Thom Wiggers, Bas Westerbaan, Christopher A. Wood
Implementing and Measuring KEMTLS. IACR Cryptol. ePrint Arch. 2021 (2021)