Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Sofía Celi

dblp:296/2589 · DBLP profile ↗
← Back
10ranked-venue papers
6as first author
10since 2021 · last 2026
0000-0002-3333-7764ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 10 · 6 first-author · 10 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Network and information security
6 papers
Cryptographic primitives and cryptanalysis · 42% Cryptographic protocols and secure computation · 42% Systems and software security · 10%
Theoretical computer science
1 paper
Automata and formal languages · 100%

Topics — the 15 heaviest of 17, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Cryptographic protocols and secure computation › proof systems
zero-knowledge proofs
1.012026
Coral: Fast Succinct Non-Interactive Zero-Knowledge CFG Proofs · SP 2026
Cryptographic primitives and cryptanalysis › public-key cryptography › digital signatures
distributed signatures
0.912025
Poster: Efficient Threshold ML-DSA up to 6 Parties · CCS 2025
Cryptographic primitives and cryptanalysis
post-quantum cryptography
0.912025
Poster: Efficient Threshold ML-DSA up to 6 Parties · CCS 2025
Cryptographic protocols and secure computation
threshold cryptography
0.912025
Poster: Efficient Threshold ML-DSA up to 6 Parties · CCS 2025
Cryptographic primitives and cryptanalysis › public-key cryptography › digital signatures
threshold signature
0.912025
Poster: Efficient Threshold ML-DSA up to 6 Parties · CCS 2025
Systems and software security › trusted computing
trusted execution
0.912025
DiStefano: Decentralized Infrastructure for Sharing Trusted Encrypted Facts and Nothing More · NDSS 2025
Cryptographic protocols and secure computation › private information retrieval
keyword private information retrieval
0.812024
Call Me By My Name: Simple, Practical Private Information Retrieval for Keyword Queries · CCS 2024
Cryptographic primitives and cryptanalysis › post-quantum cryptography
lattice-based cryptography
0.812024
Call Me By My Name: Simple, Practical Private Information Retrieval for Keyword Queries · CCS 2024
Cryptographic primitives and cryptanalysis › post-quantum cryptography › lattice-based cryptography
learning with errors
0.812024
Call Me By My Name: Simple, Practical Private Information Retrieval for Keyword Queries · CCS 2024
Cryptographic protocols and secure computation
private information retrieval
0.812024
Call Me By My Name: Simple, Practical Private Information Retrieval for Keyword Queries · CCS 2024
Cryptographic protocols and secure computation
secure messaging
0.712023
Practically-exploitable Cryptographic Vulnerabilities in Matrix · SP 2023
Cryptographic protocols and secure computation
oblivious pseudorandom function
0.612022
A Fast and Simple Partially Oblivious PRF, with Applications · EUROCRYPT (2) 2022
Cryptographic primitives and cryptanalysis
pseudorandom functions
0.612022
A Fast and Simple Partially Oblivious PRF, with Applications · EUROCRYPT (2) 2022
Automata and formal languages › formal grammars
context-free grammar
0.312026
Coral: Fast Succinct Non-Interactive Zero-Knowledge CFG Proofs · SP 2026
Systems and software security › software vulnerability
implementation vulnerability
0.212023
Practically-exploitable Cryptographic Vulnerabilities in Matrix · SP 2023

Methods — techniques the papers use, named apart from their topics

trusted hardware · 1.7encryption · 1.7secret sharing · 0.9rejection sampling · 0.9probabilistic filter · 0.8cuckoo filter · 0.8binary fuse filter · 0.8vulnerability discovery · 0.7protocol analysis · 0.7
YearPublicationVenuePosition
2026 Coral: Fast Succinct Non-Interactive Zero-Knowledge CFG Proofs
Sebastian Angel, Sofía Celi, Elizabeth Margolin, Pratyush Mishra 0001, Martin Sander, Jess Woods
SP2
2025 Poster: Efficient Threshold ML-DSA up to 6 Parties
abstract
Threshold signature schemes enable a group of users to collaboratively produce digital signatures without revealing any individual share. With the current NIST post-quantum standardization underway, the lack of efficient and practical threshold variants of standardized schemes hinders adoption. We introduce the first threshold signature scheme compatible with the ML-DSA standard (Module-Lattice-based Digital Signature Algorithm), supporting up to 6 parties, while retaining efficient signing. Our work uses advanced short secret sharing techniques and optimized rejection sampling to balance communication and correctness in distributed settings. We implement our construction in Go and benchmark it in local, LAN, and WAN deployments. Results show that our threshold ML-DSA is both practical and compatible with real-world applications such as multi-device cryptocurrency wallets, threshold TLS, and Tor's directory authorities.
Sofía Celi, Rafaël Del Pino, Thomas Espitau, Guilhem Niot, Thomas Prest
CCS1
2025 DiStefano: Decentralized Infrastructure for Sharing Trusted Encrypted Facts and Nothing More
Sofía Celi, Alex Davidson, Hamed Haddadi 0001, Gonçalo Pestana, Joe Rowell
NDSS1
2025 Share the MAYO: Thresholdizing MAYO
Sofía Celi, Daniel Escudero 0001, Guilhem Niot
PQCrypto (1)1
2024 Call Me By My Name: Simple, Practical Private Information Retrieval for Keyword Queries
abstract
We introduce ChalametPIR: a single-server Private Information Retrieval (PIR) scheme supporting fast, low-bandwidth keyword queries, with a conceptually very simple design. In particular, we develop a generic framework for converting PIR schemes for index queries over flat arrays (based on the Learning With Errors problem) into keyword PIR. This involves representing a key-value map using any probabilistic filter that permits reconstruction of elements from inclusion queries (e.g. Cuckoo filters). In particular, we make use of recently developed Binary Fuse filters to construct ChalametPIR, with minimal efficiency blow-up compared with state-of-the-art index-based schemes (all costs bounded by a factor of (≤ 1.08)). Furthermore, we show that ChalametPIR achieves runtimes and financial costs that are factors of between (6x)-(11x) and (3.75x)-(11.4x) more efficient, respectively, than state-of-the-art keyword PIR approaches, for varying database configurations. Bandwidth costs are additionally reduced or remain competitive, depending on the configuration. Finally, we believe that our application of Binary Fuse filters can have independent value towards developing efficient variants of related cryptographic primitives (e.g. private set intersection), that already benefit from using less efficient filter constructions.
Sofía Celi, Alex Davidson
CCS1
2024 SoK: Signatures with Randomizable Keys
Sofía Celi, Scott Griffy, Lucjan Hanzlik, Octavio Perez-Kempner, Daniel Slamanig
FC (2)1
2023 Practically-exploitable Cryptographic Vulnerabilities in Matrix
abstract
We report several practically-exploitable cryptographic vulnerabilities in the Matrix standard for federated real-time communication and its flagship client and prototype implementation, Element. These, together, invalidate the confidentiality and authentication guarantees claimed by Matrix against a malicious server. This is despite Matrix’ cryptographic routines being constructed from well-known and -studied cryptographic building blocks. The vulnerabilities we exploit differ in their nature (insecure by design, protocol confusion, lack of domain separation, implementation bugs) and are distributed broadly across the different subprotocols and libraries that make up the cryptographic core of Matrix and Element. Together, these vulnerabilities highlight the need for a systematic and formal analysis of the cryptography in the Matrix standard.
Martin R. Albrecht, Sofía Celi, Benjamin Dowling
SP2
2023 FrodoPIR: Simple, Scalable, Single-Server Private Information Retrieval
abstract
We design FrodoPIR — a highly configurable, stateful, single-server Private Information Retrieval (PIR) scheme that involves an offline phase that is completely client-independent. Coupled with small online overheads, it leads to much smaller amortized financial costs on the server-side than previous approaches. In terms of performance for a database of 1 million 1KB elements, FrodoPIR requires < 1 second for responding to a client query, has a server response size blow-up factor of < 3.6x, and financial costs are ~$1 for answering 100,000 client queries. Our experimental analysis is built upon a simple, non-optimized Rust implementation, illustrating that FrodoPIR is particularly suitable for deployments that involve large numbers of clients.
Alex Davidson, Gonçalo Pestana, Sofía Celi
Proc. Priv. Enhancing Technol.3
2022 A Tale of Two Models: Formal Verification of KEMTLS via Tamarin
Sofía Celi, Jonathan Hoyland, Douglas Stebila, Thom Wiggers
ESORICS (3)1
2022 A Fast and Simple Partially Oblivious PRF, with Applications
Nirvan Tyagi, Sofía Celi, Thomas Ristenpart, Nick Sullivan, Stefano Tessaro, Christopher A. Wood
EUROCRYPT (2)2