Bogdan Warinschi

ORCID

Publication Activity (10 Years)

Years Active: 2000-2024
Publications (10 Years): 47

Top Venues

IACR Cryptol. ePrint Arch.

CSF

IEEE Symposium on Security and Privacy

Des. Codes Cryptogr.

Publications

Chris Brzuska, Cas Cremers, Håkon Jacobsen, Douglas Stebila, Bogdan Warinschi
Falsifiability, Composability, and Comparability of Game-based Security Models for Key Exchange Protocols. IACR Cryptol. ePrint Arch. 2024 (2024)
Alexandra Boldyreva, Zichen Gui, Bogdan Warinschi
Understanding Leakage in Searchable Encryption: a Quantitative Approach. Proc. Priv. Enhancing Technol. 2024 (4) (2024)
Zichen Gui, Kenneth G. Paterson, Sikhar Patranabis, Bogdan Warinschi
SWiSSSE: System-Wide Security for Searchable Symmetric Encryption. Proc. Priv. Enhancing Technol. 2024 (1) (2024)
Maksym Arutyunyan, Andriy Berestovskyy, Adam Bratschi-Kaye, Ulan Degenbaev, Manu Drijvers, Islam El-Ashi, Stefan Kaestle, Roman Kashitsyn, Maciej Kot, Yvonne-Anne Pignolet, Rostislav Rumenov, Dimitris Sarlis, Alin Sinpalean, Alexandru Uta, Bogdan Warinschi, Alexandra Zapuc
Decentralized and Stateful Serverless Computing on the Internet Computer Blockchain. USENIX Annual Technical Conference (2023)
Bin Liu, Antonis Michalas, Bogdan Warinschi
Cryptographic Role-Based Access Control, Reconsidered. ProvSec (2022)
Ngoc Khanh Nguyen, Eftychios Theodorakis, Bogdan Warinschi
Lifting Standard Model Reductions to Common Setup Assumptions. Public Key Cryptography (2) (2022)
Bin Liu, Antonis Michalas, Bogdan Warinschi
Cryptographic Role-Based Access Control, Reconsidered. IACR Cryptol. ePrint Arch. 2022 (2022)
Ngoc Khanh Nguyen, Eftychios Theodorakis, Bogdan Warinschi
Lifting Standard Model Reductions to Common Setup Assumptions. IACR Cryptol. ePrint Arch. 2021 (2021)
Manuel Barbosa, Alexandra Boldyreva, Shan Chen, Bogdan Warinschi
Provable Security Analysis of FIDO2. CRYPTO (3) (2021)
Zichen Gui, Kenneth G. Paterson, Sikhar Patranabis, Bogdan Warinschi
SWiSSSE: System-Wide Security for Searchable Symmetric Encryption. IACR Cryptol. ePrint Arch. 2020 (2020)
Shan Chen, Manuel Barbosa, Alexandra Boldyreva, Bogdan Warinschi
Provable Security Analysis of FIDO2. IACR Cryptol. ePrint Arch. 2020 (2020)
Véronique Cortier, Joseph Lallemand, Bogdan Warinschi
Fifty Shades of Ballot Privacy: Privacy against a Malicious Board. IACR Cryptol. ePrint Arch. 2020 (2020)
Cyprien Delpech de Saint Guilhem, Marc Fischlin, Bogdan Warinschi
Authentication in Key-Exchange: Definitions, Relations and Composition. CSF (2020)
Véronique Cortier, Joseph Lallemand, Bogdan Warinschi
Fifty Shades of Ballot Privacy: Privacy against a Malicious Board. CSF (2020)
Cyprien Delpech de Saint Guilhem, Marc Fischlin, Bogdan Warinschi
Authentication in Key-Exchange: Definitions, Relations and Composition. IACR Cryptol. ePrint Arch. 2019 (2019)
Zichen Gui, Oliver Johnson, Bogdan Warinschi
Encrypted Databases: New Volume Attacks against Range Queries. IACR Cryptol. ePrint Arch. 2019 (2019)
Alexandra Boldyreva, Tianxin Tang, Bogdan Warinschi
Masking Fuzzy-Searchable Public Databases. ACNS (2019)
Zichen Gui, Oliver Johnson, Bogdan Warinschi
Encrypted Databases: New Volume Attacks against Range Queries. CCS (2019)
Alexandra Boldyreva, Tianxin Tang, Bogdan Warinschi
Masking Fuzzy-Searchable Public Databases. IACR Cryptol. ePrint Arch. 2019 (2019)
Manuel Barbosa, Dario Catalano, Azam Soleimanian, Bogdan Warinschi
Efficient Function-Hiding Functional Encryption: From Inner-Products to Orthogonality. CT-RSA (2019)
Dirk van der Linden, Awais Rashid, Emma J. Williams, Bogdan Warinschi
Safe cryptography for all: towards visual metaphor driven cryptography building blocks. SEAD@ICSE (2018)
David Bernhard, Véronique Cortier, Pierrick Gaudry, Mathieu Turuani, Bogdan Warinschi
Verifiability Analysis of CHVote. IACR Cryptol. ePrint Arch. 2018 (2018)
Véronique Cortier, Constantin Catalin Dragan, François Dupressoir, Bogdan Warinschi
Machine-Checked Proofs for Electronic Voting: Privacy and Verifiability for Belenios. CSF (2018)
Jia Liu, Tibor Jager, Saqib A. Kakvi, Bogdan Warinschi
How to build time-lock encryption. Des. Codes Cryptogr. 86 (11) (2018)
Tibor Jager, Martijn Stam, Ryan Stanley-Oakes, Bogdan Warinschi
Multi-Key Authenticated Encryption with Corruptions: Reductions are Lossy. IACR Cryptol. ePrint Arch. 2017 (2017)
Véronique Cortier, Constantin Catalin Dragan, François Dupressoir, Benedikt Schmidt, Pierre-Yves Strub, Bogdan Warinschi
Machine-Checked Proofs of Privacy for Electronic Voting Protocols. IEEE Symposium on Security and Privacy (2017)
David Bernhard, Ngoc Khanh Nguyen, Bogdan Warinschi
Adaptive Proofs Have Straightline Extractors (in the Random Oracle Model). ACNS (2017)
Cyprien de Saint Guilhem, Nigel P. Smart, Bogdan Warinschi
Generic Forward-Secure Key Agreement Without Signatures. IACR Cryptol. ePrint Arch. 2017 (2017)
Vincent Cheval, Véronique Cortier, Bogdan Warinschi
Secure Composition of PKIs with Public Key Protocols. CSF (2017)
Cyprien de Saint Guilhem, Nigel P. Smart, Bogdan Warinschi
Generic Forward-Secure Key Agreement Without Signatures. ISC (2017)
Tibor Jager, Martijn Stam, Ryan Stanley-Oakes, Bogdan Warinschi
Multi-key Authenticated Encryption with Corruptions: Reductions Are Lossy. TCC (1) (2017)
Raad Bahmani, Manuel Barbosa, Ferdinand Brasser, Bernardo Portela, Ahmad-Reza Sadeghi, Guillaume Scerri, Bogdan Warinschi
Secure Multiparty Computation from SGX. Financial Cryptography (2017)
David Bernhard, Olivier Pereira, Bogdan Warinschi
How not to Prove Yourself: Pitfalls of the Fiat-Shamir Heuristic and Applications to Helios. IACR Cryptol. ePrint Arch. 2016 (2016)
Marc Fischlin, Felix Günther, Benedikt Schmidt, Bogdan Warinschi
Key Confirmation in Key Exchange: A Formal Treatment and Implications for TLS 1.3. IEEE Symposium on Security and Privacy (2016)
David Bernhard, Marc Fischlin, Bogdan Warinschi
On the Hardness of Proving CCA-Security of Signed ElGamal. Public Key Cryptography (1) (2016)
Alexandra Boldyreva, Taesoo Kim, Richard J. Lipton, Bogdan Warinschi
Provably-Secure Remote Memory Attestation for Heap Overflow Protection. SCN (2016)
Thomas Shrimpton, Martijn Stam, Bogdan Warinschi
A Modular Treatment of Cryptographic APIs: The Symmetric-Key Case. IACR Cryptol. ePrint Arch. 2016 (2016)
David Bernhard, Marc Fischlin, Bogdan Warinschi
Adaptive proofs of knowledge in the random oracle model. IET Inf. Secur. 10 (6) (2016)
Raad Bahmani, Manuel Barbosa, Ferdinand Brasser, Bernardo Portela, Ahmad-Reza Sadeghi, Guillaume Scerri, Bogdan Warinschi
Secure Multiparty Computation from SGX. IACR Cryptol. ePrint Arch. 2016 (2016)
Thomas Shrimpton, Martijn Stam, Bogdan Warinschi
A Modular Treatment of Cryptographic APIs: The Symmetric-Key Case. CRYPTO (1) (2016)
Manuel Barbosa, Bernardo Portela, Guillaume Scerri, Bogdan Warinschi
Foundations of Hardware-Based Attested Computation and Application to SGX. EuroS&P (2016)
David Bernhard, Véronique Cortier, Olivier Pereira, Ben Smyth, Bogdan Warinschi
Adapting Helios for provable ballot privacy. IACR Cryptol. ePrint Arch. 2016 (2016)
Bin Liu, Bogdan Warinschi
Universally Composable Cryptographic Role-Based Access Control. ProvSec (2016)
Sergiu Costea, Bogdan Warinschi
Secure Software Licensing: Models, Constructions, and Proofs. CSF (2016)
David Bernhard, Bogdan Warinschi
Cryptographic Voting - A Gentle Introduction. IACR Cryptol. ePrint Arch. 2016 (2016)
Bin Liu, Bogdan Warinschi
Universally Composable Cryptographic Role-Based Access Control. IACR Cryptol. ePrint Arch. 2016 (2016)
Manuel Barbosa, Bernardo Portela, Guillaume Scerri, Bogdan Warinschi
Foundations of Hardware-Based Attested Computation and Application to SGX. IACR Cryptol. ePrint Arch. 2016 (2016)
David Bernhard, Véronique Cortier, David Galindo, Olivier Pereira, Bogdan Warinschi
A comprehensive analysis of game-based ballot privacy definitions. IACR Cryptol. ePrint Arch. 2015 (2015)
Carmit Hazay, Arpita Patra, Bogdan Warinschi
Selective Opening Security for Receivers. ASIACRYPT (1) (2015)
David Bernhard, Véronique Cortier, David Galindo, Olivier Pereira, Bogdan Warinschi
SoK: A Comprehensive Analysis of Game-Based Ballot Privacy Definitions. IEEE Symposium on Security and Privacy (2015)
Anna Lisa Ferrara, Georg Fuchsbauer, Bin Liu, Bogdan Warinschi
Policy Privacy in Cryptographic Access Control. CSF (2015)
David Bernhard, Bogdan Warinschi
On Limitations of the Fiat - Shamir Transformation. IACR Cryptol. ePrint Arch. 2015 (2015)
David Bernhard, Marc Fischlin, Bogdan Warinschi
On the Hardness of Proving CCA-security of Signed ElGamal. IACR Cryptol. ePrint Arch. 2015 (2015)
Carmit Hazay, Arpita Patra, Bogdan Warinschi
Selective Opening Security for Receivers. IACR Cryptol. ePrint Arch. 2015 (2015)
Alexandra Boldyreva, Taesoo Kim, Richard J. Lipton, Bogdan Warinschi
Towards Provably-Secure Remote Memory Attestation. IACR Cryptol. ePrint Arch. 2015 (2015)
David Bernhard, Marc Fischlin, Bogdan Warinschi
Adaptive Proofs of Knowledge in the Random Oracle Model. Public Key Cryptography (2015)
David Bernhard, Marc Fischlin, Bogdan Warinschi
Adaptive Proofs of Knowledge in the Random Oracle Model. IACR Cryptol. ePrint Arch. 2015 (2015)
Jia Liu, Saqib A. Kakvi, Bogdan Warinschi
Extractable Witness Encryption and Timed-Release Encryption from Bitcoin. IACR Cryptol. ePrint Arch. 2015 (2015)
Ming-Feng Lee, Nigel P. Smart, Bogdan Warinschi, Gaven J. Watson
Anonymity guarantees of the UMTS/LTE authentication and connection protocol. Int. J. Inf. Sec. 13 (6) (2014)
Dario Catalano, Dario Fiore, Bogdan Warinschi
Homomorphic Signatures with Efficient Verification for Polynomial Functions. IACR Cryptol. ePrint Arch. 2014 (2014)
Bogdan Groza, Bogdan Warinschi
Cryptographic puzzles and DoS resilience, revisited. Des. Codes Cryptogr. 73 (1) (2014)
Dario Catalano, Dario Fiore, Bogdan Warinschi
Homomorphic Signatures with Efficient Verification for Polynomial Functions. CRYPTO (1) (2014)
David Bernhard, Bogdan Warinschi
Cryptographic Voting - A Gentle Introduction. FOSAD (2013)
Anna Lisa Ferrara, Georg Fuchsbauer, Bogdan Warinschi
Cryptographically Enforced RBAC. IACR Cryptol. ePrint Arch. 2013 (2013)
Christina Brzuska, Nigel P. Smart, Bogdan Warinschi, Gaven J. Watson
An analysis of the EMV channel establishment protocol. CCS (2013)
Christina Brzuska, Nigel P. Smart, Bogdan Warinschi, Gaven J. Watson
An Analysis of the EMV Channel Establishment Protocol. IACR Cryptol. ePrint Arch. 2013 (2013)
Christina Brzuska, Marc Fischlin, Nigel P. Smart, Bogdan Warinschi, Stephen C. Williams
Less is more: relaxed yet composable security notions for key exchange. Int. J. Inf. Sec. 12 (4) (2013)
Florian Böhl, Véronique Cortier, Bogdan Warinschi
Deduction soundness: prove one, get five for free. CCS (2013)
Ming-Feng Lee, Nigel P. Smart, Bogdan Warinschi, Gaven J. Watson
Anonymity Guarantees of the UMTS/LTE Authentication and Connection Protocol. IACR Cryptol. ePrint Arch. 2013 (2013)
Florian Böhl, Véronique Cortier, Bogdan Warinschi
Deduction Soundness: Prove One, Get Five for Free. IACR Cryptol. ePrint Arch. 2013 (2013)
David Bernhard, Georg Fuchsbauer, Essam Ghadafi, Nigel P. Smart, Bogdan Warinschi
Anonymous attestation with user-controlled linkability. Int. J. Inf. Sec. 12 (3) (2013)
Anna Lisa Ferrara, Georg Fuchsbauer, Bogdan Warinschi
Cryptographically Enforced RBAC. CSF (2013)
Dario Catalano, Dario Fiore, Bogdan Warinschi
Efficient Network Coding Signatures in the Standard Model. Public Key Cryptography (2012)
Bogdan Groza, Bogdan Warinschi
Revisiting Difficulty Notions for Client Puzzles and DoS Resilience. ISC (2012)
David Bernhard, Olivier Pereira, Bogdan Warinschi
How Not to Prove Yourself: Pitfalls of the Fiat-Shamir Heuristic and Applications to Helios. ASIACRYPT (2012)
David Bernhard, Véronique Cortier, Olivier Pereira, Bogdan Warinschi
Measuring vote privacy, revisited. CCS (2012)
David Bernhard, Olivier Pereira, Bogdan Warinschi
On Necessary and Sufficient Conditions for Private Ballot Submission. IACR Cryptol. ePrint Arch. 2012 (2012)
Alexandra Boldyreva, Adriana Palacio, Bogdan Warinschi
Secure Proxy Signature Schemes for Delegation of Signing Rights. J. Cryptol. 25 (1) (2012)
Christina Brzuska, Marc Fischlin, Nigel P. Smart, Bogdan Warinschi, Stephen C. Williams
Less is More: Relaxed yet Composable Security Notions for Key Exchange. IACR Cryptol. ePrint Arch. 2012 (2012)
Steve Kremer, Graham Steel, Bogdan Warinschi
Security for Key Management Interfaces. CSF (2011)
Dario Catalano, Dario Fiore, Bogdan Warinschi
Adaptive Pseudo-Free Groups and Applications. IACR Cryptol. ePrint Arch. 2011 (2011)
Liqun Chen, Ming-Feng Lee, Bogdan Warinschi
Security of the Enhanced TCG Privacy-CA Solution. TGC (2011)
Véronique Cortier, Steve Kremer, Bogdan Warinschi
A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems. J. Autom. Reason. 46 (3-4) (2011)
David Bernhard, Véronique Cortier, Olivier Pereira, Ben Smyth, Bogdan Warinschi
Adapting Helios for Provable Ballot Privacy. ESORICS (2011)
Christina Brzuska, Marc Fischlin, Bogdan Warinschi, Stephen C. Williams
Composability of bellare-rogaway key exchange protocols. CCS (2011)
David Bernhard, Georg Fuchsbauer, Essam Ghadafi, Nigel P. Smart, Bogdan Warinschi
Anonymous attestation with user-controlled linkability. IACR Cryptol. ePrint Arch. 2011 (2011)
Véronique Cortier, Bogdan Warinschi
A composable computational soundness notion. CCS (2011)
Dario Catalano, Dario Fiore, Bogdan Warinschi
Adaptive Pseudo-free Groups and Applications. EUROCRYPT (2011)
Dario Catalano, Dario Fiore, Bogdan Warinschi
Efficient Network Coding Signatures in the Standard Model. IACR Cryptol. ePrint Arch. 2011 (2011)
Gilles Barthe, Alejandro Hevia, Zhengqin Luo, Tamara Rezk, Bogdan Warinschi
Robustness Guarantees for Anonymity. CSF (2010)
Mathieu Baudet, Bogdan Warinschi, Martín Abadi
Guessing attacks and the computational soundness of static equivalence. J. Comput. Secur. 18 (5) (2010)
Ming-Feng Lee, Nigel P. Smart, Bogdan Warinschi
The Fiat-Shamir Transform for Group and Ring Signature Schemes. SCN (2010)
Ming-Feng Lee, Nigel P. Smart, Bogdan Warinschi
The Fiat-Shamir Transform for Group and Ring Signature Schemes. IACR Cryptol. ePrint Arch. 2010 (2010)
Essam Ghadafi, Nigel P. Smart, Bogdan Warinschi
Groth-Sahai Proofs Revisited. Public Key Cryptography (2010)
Paul Morrissey, Nigel P. Smart, Bogdan Warinschi
The TLS Handshake Protocol: A Modular Analysis. J. Cryptol. 23 (2) (2010)
Liqun Chen, Bogdan Warinschi
Security of the TCG Privacy-CA Solution. EUC (2010)
Patrik Bichsel, Jan Camenisch, Gregory Neven, Nigel P. Smart, Bogdan Warinschi
Get Shorty via Group Signatures without Encryption. SCN (2010)
Alexandra Boldyreva, David Cash, Marc Fischlin, Bogdan Warinschi
Foundations of Non-malleable Hash and One-Way Functions. ASIACRYPT (2009)
Pooya Farshim, Bogdan Warinschi
Certified Encryption Revisited. AFRICACRYPT (2009)
Nigel P. Smart, Bogdan Warinschi
Identity Based Group Signatures from Hierarchical Identity-Based Encryption. IACR Cryptol. ePrint Arch. 2009 (2009)

Bogdan Warinschi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bogdan Warinschi