C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Sofía Celi
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 14
Top Topics
Retrial Queue
State Dependent
Arbitrary Length
Formal Verification
Top Venues
IACR Cryptol. ePrint Arch.
EUROCRYPT (2)
ESORICS (3)
LATINCRYPT
</>
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)
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)
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)