Bogdan Warinschi

Google Scholar
45 publications in security and cryptology related venues
Year
Venue
Title
2024
journals/popets
Understanding Leakage in Searchable Encryption: a Quantitative Approach.
Alexandra Boldyreva Zichen Gui Bogdan Warinschi
2024
journals/popets
SWiSSSE: System-Wide Security for Searchable Symmetric Encryption.
Zichen Gui Kenneth G. Paterson Sikhar Patranabis Bogdan Warinschi
2022
conf/provsec
Cryptographic Role-Based Access Control, Reconsidered.
Bin Liu Antonis Michalas Bogdan Warinschi
2022
conf/pkc
Lifting Standard Model Reductions to Common Setup Assumptions.
Ngoc Khanh Nguyen Eftychios Theodorakis Bogdan Warinschi
2021
conf/crypto
Provable Security Analysis of FIDO2.
Manuel Barbosa Alexandra Boldyreva Shan Chen Bogdan Warinschi
2019
conf/ccs
Encrypted Databases: New Volume Attacks against Range Queries.
Zichen Gui Oliver Johnson Bogdan Warinschi
2019
conf/acns
Masking Fuzzy-Searchable Public Databases.
Alexandra Boldyreva Tianxin Tang Bogdan Warinschi
2019
conf/ctrsa
Efficient Function-Hiding Functional Encryption: From Inner-Products to Orthogonality.
Manuel Barbosa Dario Catalano Azam Soleimanian Bogdan Warinschi
2017
conf/fc
Secure Multiparty Computation from SGX.
Raad Bahmani Manuel Barbosa Ferdinand Brasser Bernardo Portela Ahmad-Reza Sadeghi Guillaume Scerri Bogdan Warinschi
2017
conf/sp
Machine-Checked Proofs of Privacy for Electronic Voting Protocols.
Véronique Cortier Constantin Catalin Dragan François Dupressoir Benedikt Schmidt Pierre-Yves Strub Bogdan Warinschi
2017
conf/acns
Adaptive Proofs Have Straightline Extractors (in the Random Oracle Model).
David Bernhard Ngoc Khanh Nguyen Bogdan Warinschi
2017
conf/tcc
Multi-key Authenticated Encryption with Corruptions: Reductions Are Lossy.
Tibor Jager Martijn Stam Ryan Stanley-Oakes Bogdan Warinschi
2016
conf/crypto
A Modular Treatment of Cryptographic APIs: The Symmetric-Key Case.
Thomas Shrimpton Martijn Stam Bogdan Warinschi
2016
conf/sp
Key Confirmation in Key Exchange: A Formal Treatment and Implications for TLS 1.3.
Marc Fischlin Felix Günther Benedikt Schmidt Bogdan Warinschi
2016
conf/eurosp
Foundations of Hardware-Based Attested Computation and Application to SGX.
Manuel Barbosa Bernardo Portela Guillaume Scerri Bogdan Warinschi
2016
conf/provsec
Universally Composable Cryptographic Role-Based Access Control.
Bin Liu Bogdan Warinschi
2016
conf/pkc
On the Hardness of Proving CCA-Security of Signed ElGamal.
David Bernhard Marc Fischlin Bogdan Warinschi
2015
conf/sp
SoK: A Comprehensive Analysis of Game-Based Ballot Privacy Definitions.
David Bernhard Véronique Cortier David Galindo Olivier Pereira Bogdan Warinschi
2015
conf/pkc
Adaptive Proofs of Knowledge in the Random Oracle Model.
David Bernhard Marc Fischlin Bogdan Warinschi
2015
conf/asiacrypt
Selective Opening Security for Receivers.
Carmit Hazay Arpita Patra Bogdan Warinschi
2014
conf/crypto
Homomorphic Signatures with Efficient Verification for Polynomial Functions.
Dario Catalano Dario Fiore Bogdan Warinschi
2013
conf/ccs
An analysis of the EMV channel establishment protocol.
Christina Brzuska Nigel P. Smart Bogdan Warinschi Gaven J. Watson
2013
conf/ccs
Deduction soundness: prove one, get five for free.
Florian Böhl Véronique Cortier Bogdan Warinschi
2012
journals/joc
Secure Proxy Signature Schemes for Delegation of Signing Rights.
Alexandra Boldyreva Adriana Palacio Bogdan Warinschi
2012
conf/ccs
Measuring vote privacy, revisited.
David Bernhard Véronique Cortier Olivier Pereira Bogdan Warinschi
2012
conf/pkc
Efficient Network Coding Signatures in the Standard Model.
Dario Catalano Dario Fiore Bogdan Warinschi
2012
conf/asiacrypt
How Not to Prove Yourself: Pitfalls of the Fiat-Shamir Heuristic and Applications to Helios.
David Bernhard Olivier Pereira Bogdan Warinschi
2011
conf/ccs
A composable computational soundness notion.
Véronique Cortier Bogdan Warinschi
2011
conf/ccs
Composability of bellare-rogaway key exchange protocols.
Christina Brzuska Marc Fischlin Bogdan Warinschi Stephen C. Williams
2011
conf/esorics
Adapting Helios for Provable Ballot Privacy.
David Bernhard Véronique Cortier Olivier Pereira Ben Smyth Bogdan Warinschi
2011
conf/eurocrypt
Adaptive Pseudo-free Groups and Applications.
Dario Catalano Dario Fiore Bogdan Warinschi
2010
journals/joc
The TLS Handshake Protocol: A Modular Analysis.
Paul Morrissey Nigel P. Smart Bogdan Warinschi
2010
conf/pkc
Groth-Sahai Proofs Revisited.
Essam Ghadafi Nigel P. Smart Bogdan Warinschi
2009
conf/provsec
Symbolic Methods for Provable Security.
Bogdan Warinschi
2009
conf/asiacrypt
Foundations of Non-malleable Hash and One-Way Functions.
Alexandra Boldyreva David Cash Marc Fischlin Bogdan Warinschi
2009
conf/asiacrypt
Security Notions and Generic Constructions for Client Puzzles.
Liqun Chen Paul Morrissey Nigel P. Smart Bogdan Warinschi
2009
conf/africacrypt
Certified Encryption Revisited.
Pooya Farshim Bogdan Warinschi
2008
conf/asiacrypt
A Modular Security Analysis of the TLS Handshake Protocol.
Paul Morrissey Nigel P. Smart Bogdan Warinschi
2007
conf/crypto
A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness.
Emmanuel Bresson Yassine Lakhnech Laurent Mazaré Bogdan Warinschi
2007
conf/esorics
A Cryptographic Model for Branching Time Security Properties - The Case of Contract Signing Protocols.
Véronique Cortier Ralf Küsters Bogdan Warinschi
2007
conf/esorics
Synthesizing Secure Protocols.
Véronique Cortier Bogdan Warinschi Eugen Zalinescu
2007
conf/pkc
A Closer Look at PKI: Security and Efficiency.
Alexandra Boldyreva Marc Fischlin Adriana Palacio Bogdan Warinschi
2004
conf/icics
On the Minimal Assumptions of Group Signature Schemes.
Michel Abdalla Bogdan Warinschi
2004
conf/tcc
Soundness of Formal Encryption in the Presence of Active Adversaries.
Daniele Micciancio Bogdan Warinschi
2003
conf/eurocrypt
Foundations of Group Signatures: Formal Definitions, Simplified Requirements, and a Construction Based on General Assumptions.
Mihir Bellare Daniele Micciancio Bogdan Warinschi

Coauthors

Adriana Palacio (2)
Ahmad-Reza Sadeghi (1)
Alexandra Boldyreva (6)
Antonis Michalas (1)
Arpita Patra (1)
Azam Soleimanian (1)
Ben Smyth (1)
Benedikt Schmidt (2)
Bernardo Portela (2)
Bin Liu (2)
Bogdan Warinschi (45)
Carmit Hazay (1)
Christina Brzuska (2)
Constantin Catalin Dragan (1)
Daniele Micciancio (2)
Dario Catalano (4)
Dario Fiore (3)
David Bernhard (7)
David Cash (1)
David Galindo (1)
Eftychios Theodorakis (1)
Emmanuel Bresson (1)
Essam Ghadafi (1)
Eugen Zalinescu (1)
Felix Günther (1)
Ferdinand Brasser (1)
Florian Böhl (1)
François Dupressoir (1)
Gaven J. Watson (1)
Guillaume Scerri (2)
Kenneth G. Paterson (1)
Laurent Mazaré (1)
Liqun Chen (1)
Manuel Barbosa (4)
Marc Fischlin (6)
Martijn Stam (2)
Michel Abdalla (1)
Mihir Bellare (1)
Ngoc Khanh Nguyen (2)
Nigel P. Smart (5)
Oliver Johnson (1)
Olivier Pereira (4)
Paul Morrissey (3)
Pierre-Yves Strub (1)
Pooya Farshim (1)
Raad Bahmani (1)
Ralf Küsters (1)
Ryan Stanley-Oakes (1)
Shan Chen (1)
Sikhar Patranabis (1)
Stephen C. Williams (1)
Thomas Shrimpton (1)
Tianxin Tang (1)
Tibor Jager (1)
Véronique Cortier (8)
Yassine Lakhnech (1)
Zichen Gui (3)
Filters
Select all Unselect all
Years:  to