Bogdan Warinschi

According to our database, Bogdan Warinschi authored at least 93 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2024

SWiSSSE: System-Wide Security for Searchable Symmetric Encryption.

Zichen Gui, Kenneth G. Paterson, Sikhar Patranabis, Bogdan Warinschi

Proc. Priv. Enhancing Technol., January, 2024

2023

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

Proceedings of the 2023 USENIX Annual Technical Conference, 2023

2022

Cryptographic Role-Based Access Control, Reconsidered.

Bin Liu, Antonis Michalas, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2022

2021

Lifting Standard Model Reductions to Common Setup Assumptions.

Ngoc Khanh Nguyen, Eftychios Theodorakis, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2021

2020

Fifty Shades of Ballot Privacy: Privacy against a Malicious Board.

Véronique Cortier, Joseph Lallemand, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2020

Provable Security Analysis of FIDO2.

Shan Chen, Manuel Barbosa, Alexandra Boldyreva, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2020

2019

Authentication in Key-Exchange: Definitions, Relations and Composition.

Cyprien Delpech de Saint Guilhem, Marc Fischlin, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2019

Encrypted Databases: New Volume Attacks against Range Queries.

Zichen Gui, Oliver Johnson, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2019

Masking Fuzzy-Searchable Public Databases.

Alexandra Boldyreva, Tianxin Tang, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2019

Efficient Function-Hiding Functional Encryption: From Inner-Products to Orthogonality.

Manuel Barbosa, Dario Catalano, Azam Soleimanian, Bogdan Warinschi

Proceedings of the Topics in Cryptology - CT-RSA 2019, 2019

2018

Verifiability Analysis of CHVote.

David Bernhard, Véronique Cortier, Pierrick Gaudry, Mathieu Turuani, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2018

How to build time-lock encryption.

Jia Liu, Tibor Jager, Saqib A. Kakvi, Bogdan Warinschi

Des. Codes Cryptogr., 2018

Safe cryptography for all: towards visual metaphor driven cryptography building blocks.

Dirk van der Linden, Awais Rashid, Emma J. Williams, Bogdan Warinschi

Proceedings of the 1st International Workshop on Security Awareness from Design to Deployment, 2018

Machine-Checked Proofs for Electronic Voting: Privacy and Verifiability for Belenios.

Véronique Cortier, Constantin Catalin Dragan, François Dupressoir, Bogdan Warinschi

Proceedings of the 31st IEEE Computer Security Foundations Symposium, 2018

2017

Multi-Key Authenticated Encryption with Corruptions: Reductions are Lossy.

Tibor Jager, Martijn Stam, Ryan Stanley-Oakes, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2017

Generic Forward-Secure Key Agreement Without Signatures.

Cyprien de Saint Guilhem, Nigel P. Smart, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2017

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

Proceedings of the 2017 IEEE Symposium on Security and Privacy, 2017

Secure Composition of PKIs with Public Key Protocols.

Vincent Cheval, Véronique Cortier, Bogdan Warinschi

Proceedings of the 30th IEEE Computer Security Foundations Symposium, 2017

Adaptive Proofs Have Straightline Extractors (in the Random Oracle Model).

David Bernhard, Ngoc Khanh Nguyen, Bogdan Warinschi

Proceedings of the Applied Cryptography and Network Security, 2017

2016

Adaptive proofs of knowledge in the random oracle model.

David Bernhard, Marc Fischlin, Bogdan Warinschi

IET Inf. Secur., 2016

A Modular Treatment of Cryptographic APIs: The Symmetric-Key Case.

Thomas Shrimpton, Martijn Stam, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2016

Universally Composable Cryptographic Role-Based Access Control.

Bin Liu, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2016

Cryptographic Voting - A Gentle Introduction.

David Bernhard, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2016

How not to Prove Yourself: Pitfalls of the Fiat-Shamir Heuristic and Applications to Helios.

David Bernhard, Olivier Pereira, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2016

Adapting Helios for provable ballot privacy.

David Bernhard, Véronique Cortier, Olivier Pereira, Ben Smyth, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2016

Foundations of Hardware-Based Attested Computation and Application to SGX.

Manuel Barbosa, Bernardo Portela, Guillaume Scerri, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2016

Secure Multiparty Computation from SGX.

Raad Bahmani, Manuel Barbosa, Ferdinand Brasser, Bernardo Portela, Ahmad-Reza Sadeghi, Guillaume Scerri, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2016

Key Confirmation in Key Exchange: A Formal Treatment and Implications for TLS 1.3.

Marc Fischlin, Felix Günther, Benedikt Schmidt, Bogdan Warinschi

Proceedings of the IEEE Symposium on Security and Privacy, 2016

Provably-Secure Remote Memory Attestation for Heap Overflow Protection.

Alexandra Boldyreva, Taesoo Kim, Richard J. Lipton, Bogdan Warinschi

Proceedings of the Security and Cryptography for Networks - 10th International Conference, 2016

Secure Software Licensing: Models, Constructions, and Proofs.

Sergiu Costea, Bogdan Warinschi

Proceedings of the IEEE 29th Computer Security Foundations Symposium, 2016

2015

Extractable Witness Encryption and Timed-Release Encryption from Bitcoin.

Jia Liu, Saqib A. Kakvi, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2015

Selective Opening Security for Receivers.

Carmit Hazay, Arpita Patra, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2015

Towards Provably-Secure Remote Memory Attestation.

Alexandra Boldyreva, Taesoo Kim, Richard J. Lipton, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2015

On Limitations of the Fiat­ - Shamir Transformation.

David Bernhard, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2015

On the Hardness of Proving CCA-security of Signed ElGamal.

David Bernhard, Marc Fischlin, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2015

A comprehensive analysis of game-based ballot privacy definitions.

David Bernhard, Véronique Cortier, David Galindo, Olivier Pereira, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2015

SoK: A Comprehensive Analysis of Game-Based Ballot Privacy Definitions.

David Bernhard, Véronique Cortier, David Galindo, Olivier Pereira, Bogdan Warinschi

Proceedings of the 2015 IEEE Symposium on Security and Privacy, 2015

Policy Privacy in Cryptographic Access Control.

Anna Lisa Ferrara, Georg Fuchsbauer, Bin Liu, Bogdan Warinschi

Proceedings of the IEEE 28th Computer Security Foundations Symposium, 2015

2014

Anonymity guarantees of the UMTS/LTE authentication and connection protocol.

Ming-Feng Lee, Nigel P. Smart, Bogdan Warinschi, Gaven J. Watson

Int. J. Inf. Sec., 2014

Homomorphic Signatures with Efficient Verification for Polynomial Functions.

Dario Catalano, Dario Fiore, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2014

Cryptographic puzzles and DoS resilience, revisited.

Bogdan Groza, Bogdan Warinschi

Des. Codes Cryptogr., 2014

2013

Less is more: relaxed yet composable security notions for key exchange.

Christina Brzuska, Marc Fischlin, Nigel P. Smart, Bogdan Warinschi, Stephen C. Williams

Int. J. Inf. Sec., 2013

Anonymous attestation with user-controlled linkability.

David Bernhard, Georg Fuchsbauer, Essam Ghadafi, Nigel P. Smart, Bogdan Warinschi

Int. J. Inf. Sec., 2013

Cryptographically Enforced RBAC.

Anna Lisa Ferrara, Georg Fuchsbauer, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2013

An Analysis of the EMV Channel Establishment Protocol.

Christina Brzuska, Nigel P. Smart, Bogdan Warinschi, Gaven J. Watson

IACR Cryptol. ePrint Arch., 2013

Deduction Soundness: Prove One, Get Five for Free.

Florian Böhl, Véronique Cortier, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2013

2012

Secure Proxy Signature Schemes for Delegation of Signing Rights.

Alexandra Boldyreva, Adriana Palacio, Bogdan Warinschi

J. Cryptol., 2012

On Necessary and Sufficient Conditions for Private Ballot Submission.

David Bernhard, Olivier Pereira, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2012

Revisiting Difficulty Notions for Client Puzzles and DoS Resilience.

Bogdan Groza, Bogdan Warinschi

Proceedings of the Information Security - 15th International Conference, 2012

Measuring vote privacy, revisited.

David Bernhard, Véronique Cortier, Olivier Pereira, Bogdan Warinschi

Proceedings of the ACM Conference on Computer and Communications Security, 2012

2011

A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems.

Véronique Cortier, Steve Kremer, Bogdan Warinschi

J. Autom. Reason., 2011

Efficient Network Coding Signatures in the Standard Model.

Dario Catalano, Dario Fiore, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2011

Adaptive Pseudo-Free Groups and Applications.

Dario Catalano, Dario Fiore, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2011

Security of the Enhanced TCG Privacy-CA Solution.

Liqun Chen, Ming-Feng Lee, Bogdan Warinschi

Proceedings of the Trustworthy Global Computing - 6th International Symposium, 2011

Security for Key Management Interfaces.

Steve Kremer, Graham Steel, Bogdan Warinschi

Proceedings of the 24th IEEE Computer Security Foundations Symposium, 2011

A composable computational soundness notion.

Véronique Cortier, Bogdan Warinschi

Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

Composability of bellare-rogaway key exchange protocols.

Christina Brzuska, Marc Fischlin, Bogdan Warinschi, Stephen C. Williams

Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

Computational Soundness - The Case of Diffie-Hellman Keys.

Emmanuel Bresson, Yassine Lakhnech, Laurent Mazaré, Bogdan Warinschi

Proceedings of the Formal Models and Techniques for Analyzing Security Protocols, 2011

2010

The TLS Handshake Protocol: A Modular Analysis.

Paul Morrissey, Nigel P. Smart, Bogdan Warinschi

J. Cryptol., 2010

Guessing attacks and the computational soundness of static equivalence.

Mathieu Baudet, Bogdan Warinschi, Martín Abadi

J. Comput. Secur., 2010

The Fiat-Shamir Transform for Group and Ring Signature Schemes.

Ming-Feng Lee, Nigel P. Smart, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2010

Get Shorty via Group Signatures without Encryption.

Patrik Bichsel, Jan Camenisch, Gregory Neven, Nigel P. Smart, Bogdan Warinschi

Proceedings of the Security and Cryptography for Networks, 7th International Conference, 2010

Security of the TCG Privacy-CA Solution.

Liqun Chen, Bogdan Warinschi

Proceedings of the IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing, 2010

Robustness Guarantees for Anonymity.

Gilles Barthe, Alejandro Hevia, Zhengqin Luo, Tamara Rezk, Bogdan Warinschi

Proceedings of the 23rd IEEE Computer Security Foundations Symposium, 2010

2009

Hash function requirements for Schnorr signatures.

Gregory Neven, Nigel P. Smart, Bogdan Warinschi

J. Math. Cryptol., 2009

Identity Based Group Signatures from Hierarchical Identity-Based Encryption.

Nigel P. Smart, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2009

Groth-Sahai proofs revisited.

Essam Ghadafi, Nigel P. Smart, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2009

Security Notions and Generic Constructions for Client Puzzles.

Liqun Chen, Paul Morrissey, Nigel P. Smart, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2009

Foundations of Non-Malleable Hash and One-Way Functions.

Alexandra Boldyreva, David Cash, Marc Fischlin, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2009

Symbolic Methods for Provable Security.

Bogdan Warinschi

Proceedings of the Provable Security, Third International Conference, 2009

Practical Zero-Knowledge Proofs for Circuit Evaluation.

Essam Ghadafi, Nigel P. Smart, Bogdan Warinschi

Proceedings of the Cryptography and Coding, 2009

Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption.

Laurent Mazaré, Bogdan Warinschi

Proceedings of the Foundations and Applications of Security Analysis, 2009

Certified Encryption Revisited.

Pooya Farshim, Bogdan Warinschi

Proceedings of the Progress in Cryptology, 2009

2008

Security analysis of cryptographically controlled access to XML documents.

Martín Abadi, Bogdan Warinschi

J. ACM, 2008

A Modular Security Analysis of the TLS Handshake Protocol.

Paul Morrissey, Nigel P. Smart, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2008

2007

A Cryptographic Model for Branching Time Security Properties - the Case of Contract Signing Protocols.

Véronique Cortier, Ralf Küsters, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2007

A Closer Look at PKI: Security and Efficiency.

Alexandra Boldyreva, Marc Fischlin, Adriana Palacio, Bogdan Warinschi

Proceedings of the Public Key Cryptography, 2007

Synthesizing Secure Protocols.

Véronique Cortier, Bogdan Warinschi, Eugen Zalinescu

Proceedings of the Computer Security, 2007

A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness.

Emmanuel Bresson, Yassine Lakhnech, Laurent Mazaré, Bogdan Warinschi

Proceedings of the Advances in Cryptology, 2007

2006

Key Exchange Protocols: Security Definition, Proof Method and Applications.

Anupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2006

Computationally Sound Symbolic Secrecy in the Presence of Hash Functions.

Véronique Cortier, Steve Kremer, Ralf Küsters, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2006

Explicit Randomness is not Necessary when Modeling Probabilistic Encryption.

Véronique Cortier, Heinrich Hördegen, Bogdan Warinschi

Proceedings of the First Workshop in Information and Computer Security, 2006

Computationally Sound Compositional Logic for Key Exchange Protocols.

Anupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi

Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006

2005

A computational analysis of the Needham-Schroeder-(Lowe) protocol.

Bogdan Warinschi

J. Comput. Secur., 2005

Password-Based Encryption Analyzed.

Martín Abadi, Bogdan Warinschi

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

Computationally Sound, Automated Proofs for Security Protocols.

Véronique Cortier, Bogdan Warinschi

Proceedings of the Programming Languages and Systems, 2005

2004

Completeness Theorems for the Abadi-Rogaway Language of Encrypted Expressions.

Daniele Micciancio, Bogdan Warinschi

J. Comput. Secur., 2004

Soundness of Formal Encryption in the Presence of Active Adversaries.

Daniele Micciancio, Bogdan Warinschi

Proceedings of the Theory of Cryptography, First Theory of Cryptography Conference, 2004

Efficient Blind Signatures Without Random Oracles.

Jan Camenisch, Maciej Koprowski, Bogdan Warinschi

Proceedings of the Security in Communication Networks, 4th International Conference, 2004

On the Minimal Assumptions of Group Signature Schemes.

Michel Abdalla, Bogdan Warinschi

Proceedings of the Information and Communications Security, 6th International Conference, 2004

2003

Foundations of Group Signatures: Formal Definitions, Simplified Requirements, and a Construction Based on General Assumptions.

Mihir Bellare, Daniele Micciancio, Bogdan Warinschi

Proceedings of the Advances in Cryptology, 2003

2001

A linear space algorithm for computing the herite normal form.

Daniele Micciancio, Bogdan Warinschi

Proceedings of the 2001 International Symposium on Symbolic and Algebraic Computation, 2001

2000

A Linear Space Algorithm for Computing the Hermite Normal Form

Daniele Micciancio, Bogdan Warinschi

Electron. Colloquium Comput. Complex., 2000