Demo Data from SIGIR 2026 / reviewers in the wild / expert
Sofía Celi
dblp:296/2589
· DBLP profile ↗
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
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Cryptographic protocols and secure computation › proof systems
zero-knowledge proofs |
1.0 | 1 | 2026 | Coral: Fast Succinct Non-Interactive Zero-Knowledge CFG Proofs · SP 2026 |
Cryptographic primitives and cryptanalysis › public-key cryptography › digital signatures
distributed signatures |
0.9 | 1 | 2025 | Poster: Efficient Threshold ML-DSA up to 6 Parties · CCS 2025 |
Cryptographic primitives and cryptanalysis
post-quantum cryptography |
0.9 | 1 | 2025 | Poster: Efficient Threshold ML-DSA up to 6 Parties · CCS 2025 |
Cryptographic protocols and secure computation
threshold cryptography |
0.9 | 1 | 2025 | Poster: Efficient Threshold ML-DSA up to 6 Parties · CCS 2025 |
Cryptographic primitives and cryptanalysis › public-key cryptography › digital signatures
threshold signature |
0.9 | 1 | 2025 | Poster: Efficient Threshold ML-DSA up to 6 Parties · CCS 2025 |
Systems and software security › trusted computing
trusted execution |
0.9 | 1 | 2025 | 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.8 | 1 | 2024 | 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.8 | 1 | 2024 | 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.8 | 1 | 2024 | Call Me By My Name: Simple, Practical Private Information Retrieval for Keyword Queries · CCS 2024 |
Cryptographic protocols and secure computation
private information retrieval |
0.8 | 1 | 2024 | Call Me By My Name: Simple, Practical Private Information Retrieval for Keyword Queries · CCS 2024 |
Cryptographic protocols and secure computation
secure messaging |
0.7 | 1 | 2023 | Practically-exploitable Cryptographic Vulnerabilities in Matrix · SP 2023 |
Cryptographic protocols and secure computation
oblivious pseudorandom function |
0.6 | 1 | 2022 | A Fast and Simple Partially Oblivious PRF, with Applications · EUROCRYPT (2) 2022 |
Cryptographic primitives and cryptanalysis
pseudorandom functions |
0.6 | 1 | 2022 | A Fast and Simple Partially Oblivious PRF, with Applications · EUROCRYPT (2) 2022 |
Automata and formal languages › formal grammars
context-free grammar |
0.3 | 1 | 2026 | Coral: Fast Succinct Non-Interactive Zero-Knowledge CFG Proofs · SP 2026 |
Systems and software security › software vulnerability
implementation vulnerability |
0.2 | 1 | 2023 | 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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Coral: Fast Succinct Non-Interactive Zero-Knowledge CFG Proofs
Sebastian Angel, Sofía Celi, Elizabeth Margolin, Pratyush Mishra 0001, Martin Sander, Jess Woods |
SP | 2 |
| 2025 | Poster: Efficient Threshold ML-DSA up to 6 PartiesabstractThreshold 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 |
CCS | 1 |
| 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 |
NDSS | 1 |
| 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 QueriesabstractWe 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 |
CCS | 1 |
| 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 MatrixabstractWe 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 |
SP | 2 |
| 2023 | FrodoPIR: Simple, Scalable, Single-Server Private Information RetrievalabstractWe 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 |