| 2023 | USENIX | Decentralized and Stateful Serverless Computing on the Internet Computer Blockchain. | 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 |
| 2022 | PKC | Lifting Standard Model Reductions to Common Setup Assumptions. | Ngoc Khanh Nguyen, Eftychios Theodorakis, Bogdan Warinschi |
| 2022 | ProvSec | Cryptographic Role-Based Access Control, Reconsidered. | Bin Liu, Antonis Michalas, Bogdan Warinschi |
| 2021 | CRYPTO | Provable Security Analysis of FIDO2. | Manuel Barbosa, Alexandra Boldyreva, Shan Chen, Bogdan Warinschi |
| 2019 | ACNS | Masking Fuzzy-Searchable Public Databases. | Alexandra Boldyreva, Tianxin Tang, Bogdan Warinschi |
| 2019 | CCS | Encrypted Databases: New Volume Attacks against Range Queries. | Zichen Gui, Oliver Johnson, Bogdan Warinschi |
| 2018 | ICSE | Safe cryptography for all: towards visual metaphor driven cryptography building blocks. | Dirk van der Linden, Awais Rashid, Emma J. Williams, Bogdan Warinschi |
| 2017 | ACNS | Adaptive Proofs Have Straightline Extractors (in the Random Oracle Model). | David Bernhard, Ngoc Khanh Nguyen, Bogdan Warinschi |
| 2017 | FC | Secure Multiparty Computation from SGX. | Raad Bahmani, Manuel Barbosa, Ferdinand Brasser, Bernardo Portela, Ahmad-Reza Sadeghi, Guillaume Scerri, Bogdan Warinschi |
| 2017 | SP | Machine-Checked Proofs of Privacy for Electronic Voting Protocols. | Vronique Cortier, Constantin Catalin Dragan, Franois Dupressoir, Benedikt Schmidt, Pierre-Yves Strub, Bogdan Warinschi |
| 2017 | TCC | Multi-key Authenticated Encryption with Corruptions: Reductions Are Lossy. | Tibor Jager, Martijn Stam, Ryan Stanley-Oakes, Bogdan Warinschi |
| 2016 | CRYPTO | A Modular Treatment of Cryptographic APIs: The Symmetric-Key Case. | Thomas Shrimpton, Martijn Stam, Bogdan Warinschi |
| 2016 | PKC | On the Hardness of Proving CCA-Security of Signed ElGamal. | David Bernhard, Marc Fischlin, Bogdan Warinschi |
| 2016 | ProvSec | Universally Composable Cryptographic Role-Based Access Control. | Bin Liu, Bogdan Warinschi |
| 2016 | SP | Key Confirmation in Key Exchange: A Formal Treatment and Implications for TLS 1.3. | Marc Fischlin, Felix Gnther, Benedikt Schmidt, Bogdan Warinschi |
| 2016 | SCN | Provably-Secure Remote Memory Attestation for Heap Overflow Protection. | Alexandra Boldyreva, Taesoo Kim, Richard J. Lipton, Bogdan Warinschi |
| 2015 | ASIACRYPT | Selective Opening Security for Receivers. | Carmit Hazay, Arpita Patra, Bogdan Warinschi |
| 2015 | PKC | Adaptive Proofs of Knowledge in the Random Oracle Model. | David Bernhard, Marc Fischlin, Bogdan Warinschi |
| 2015 | SP | SoK: A Comprehensive Analysis of Game-Based Ballot Privacy Definitions. | David Bernhard, Vronique Cortier, David Galindo, Olivier Pereira, Bogdan Warinschi |
| 2014 | CRYPTO | Homomorphic Signatures with Efficient Verification for Polynomial Functions. | Dario Catalano, Dario Fiore, Bogdan Warinschi |
| 2013 | CCS | Deduction soundness: prove one, get five for free. | Florian Bhl, Vronique Cortier, Bogdan Warinschi |
| 2013 | CCS | An analysis of the EMV channel establishment protocol. | Christina Brzuska, Nigel P. Smart, Bogdan Warinschi, Gaven J. Watson |
| 2012 | ASIACRYPT | How Not to Prove Yourself: Pitfalls of the Fiat-Shamir Heuristic and Applications to Helios. | David Bernhard, Olivier Pereira, Bogdan Warinschi |
| 2012 | CCS | Measuring vote privacy, revisited. | David Bernhard, Vronique Cortier, Olivier Pereira, Bogdan Warinschi |
| 2012 | PKC | Efficient Network Coding Signatures in the Standard Model. | Dario Catalano, Dario Fiore, Bogdan Warinschi |
| 2011 | CCS | Composability of bellare-rogaway key exchange protocols. | Christina Brzuska, Marc Fischlin, Bogdan Warinschi, Stephen C. Williams |
| 2011 | CCS | A composable computational soundness notion. | Vronique Cortier, Bogdan Warinschi |
| 2011 | ESORICS | Adapting Helios for Provable Ballot Privacy. | David Bernhard, Vronique Cortier, Olivier Pereira, Ben Smyth, Bogdan Warinschi |
| 2011 | EuroCrypt | Adaptive Pseudo-free Groups and Applications. | Dario Catalano, Dario Fiore, Bogdan Warinschi |
| 2010 | EUC | Security of the TCG Privacy-CA Solution. | Liqun Chen, Bogdan Warinschi |
| 2010 | PKC | Groth-Sahai Proofs Revisited. | Essam Ghadafi, Nigel P. Smart, Bogdan Warinschi |
| 2010 | SCN | Get Shorty via Group Signatures without Encryption. | Patrik Bichsel, Jan Camenisch, Gregory Neven, Nigel P. Smart, Bogdan Warinschi |
| 2010 | SCN | The Fiat-Shamir Transform for Group and Ring Signature Schemes. | Ming-Feng Lee, Nigel P. Smart, Bogdan Warinschi |
| 2009 | ASIACRYPT | Foundations of Non-malleable Hash and One-Way Functions. | Alexandra Boldyreva, David Cash, Marc Fischlin, Bogdan Warinschi |
| 2009 | ASIACRYPT | Security Notions and Generic Constructions for Client Puzzles. | Liqun Chen, Paul Morrissey, Nigel P. Smart, Bogdan Warinschi |
| 2009 | Pairing | Identity Based Group Signatures from Hierarchical Identity-Based Encryption. | Nigel P. Smart, Bogdan Warinschi |
| 2009 | ProvSec | Symbolic Methods for Provable Security. | Bogdan Warinschi |
| 2008 | ASIACRYPT | A Modular Security Analysis of the TLS Handshake Protocol. | Paul Morrissey, Nigel P. Smart, Bogdan Warinschi |
| 2007 | CRYPTO | A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness. | Emmanuel Bresson, Yassine Lakhnech, Laurent Mazar, Bogdan Warinschi |
| 2007 | ESORICS | A Cryptographic Model for Branching Time Security Properties - The Case of Contract Signing Protocols. | Vronique Cortier, Ralf Ksters, Bogdan Warinschi |
| 2007 | ESORICS | Synthesizing Secure Protocols. | Vronique Cortier, Bogdan Warinschi, Eugen Zalinescu |
| 2007 | PKC | A Closer Look at PKI: Security and Efficiency. | Alexandra Boldyreva, Marc Fischlin, Adriana Palacio, Bogdan Warinschi |
| 2006 | FOSSACS | Guessing Attacks and the Computational Soundness of Static Equivalence. | Martn Abadi, Mathieu Baudet, Bogdan Warinschi |
| 2005 | ESOP | Computationally Sound, Automated Proofs for Security Protocols. | Vronique Cortier, Bogdan Warinschi |
| 2005 | ICALP | Password-Based Encryption Analyzed. | Martn Abadi, Bogdan Warinschi |
| 2005 | PODS | Security analysis of cryptographically controlled access to XML documents. | Martn Abadi, Bogdan Warinschi |
| 2004 | ICICS | On the Minimal Assumptions of Group Signature Schemes. | Michel Abdalla, Bogdan Warinschi |
| 2004 | SCN | Efficient Blind Signatures Without Random Oracles. | Jan Camenisch, Maciej Koprowski, Bogdan Warinschi |
| 2004 | TCC | Soundness of Formal Encryption in the Presence of Active Adversaries. | Daniele Micciancio, Bogdan Warinschi |
| 2003 | EuroCrypt | Foundations of Group Signatures: Formal Definitions, Simplified Requirements, and a Construction Based on General Assumptions. | Mihir Bellare, Daniele Micciancio, Bogdan Warinschi |
| 2001 | ISSAC | A linear space algorithm for computing the herite normal form. | Daniele Micciancio, Bogdan Warinschi |