Bogdan Warinschi

140 papers A* 14A 18B 6C 9Misc 4Journal 65Unranked 23
YearRankTypeTitle / Venue / Authors
2025 — conf
Falsifiability, Composability, and Comparability of Game-Based Security Models for Key Exchange Protocols.
Information Security in a Connected World
Chris Brzuska, Cas Cremers, Håkon Jacobsen, Douglas Stebila, Bogdan Warinschi
2024 J jnl
Falsifiability, Composability, and Comparability of Game-based Security Models for Key Exchange Protocols.
IACR Cryptol. ePrint Arch.
Chris Brzuska, Cas Cremers, Håkon Jacobsen, Douglas Stebila, Bogdan Warinschi
2024 J jnl
SWiSSSE: System-Wide Security for Searchable Symmetric Encryption.
Proc. Priv. Enhancing Technol.
Zichen Gui, Kenneth G. Paterson, Sikhar Patranabis, Bogdan Warinschi
2024 J jnl
Understanding Leakage in Searchable Encryption: a Quantitative Approach.
IACR Cryptol. ePrint Arch.
Alexandra Boldyreva, Zichen Gui, Bogdan Warinschi
2024 J jnl
Understanding Leakage in Searchable Encryption: a Quantitative Approach.
Proc. Priv. Enhancing Technol.
Alexandra Boldyreva, Zichen Gui, Bogdan Warinschi
2023 — conf
Decentralized and Stateful Serverless Computing on the Internet Computer Blockchain.
USENIX ATC
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 C conf
Cryptographic Role-Based Access Control, Reconsidered.
ProvSec
Bin Liu, Antonis Michalas, Bogdan Warinschi
2022 J jnl
Cryptographic Role-Based Access Control, Reconsidered.
IACR Cryptol. ePrint Arch.
Bin Liu, Antonis Michalas, Bogdan Warinschi
2022 — conf
Lifting Standard Model Reductions to Common Setup Assumptions.
Public Key Cryptography (2)
Ngoc Khanh Nguyen, Eftychios Theodorakis, Bogdan Warinschi
2021 J jnl
Lifting Standard Model Reductions to Common Setup Assumptions.
IACR Cryptol. ePrint Arch.
Ngoc Khanh Nguyen, Eftychios Theodorakis, Bogdan Warinschi
2021 — conf
Provable Security Analysis of FIDO2.
CRYPTO (3)
Manuel Barbosa, Alexandra Boldyreva, Shan Chen, Bogdan Warinschi
2020 A conf
Authentication in Key-Exchange: Definitions, Relations and Composition.
CSF
Cyprien Delpech de Saint Guilhem, Marc Fischlin, Bogdan Warinschi
2020 A conf
Fifty Shades of Ballot Privacy: Privacy against a Malicious Board.
CSF
Véronique Cortier, Joseph Lallemand, Bogdan Warinschi
2020 J jnl
Fifty Shades of Ballot Privacy: Privacy against a Malicious Board.
IACR Cryptol. ePrint Arch.
Véronique Cortier, Joseph Lallemand, Bogdan Warinschi
2020 J jnl
Provable Security Analysis of FIDO2.
IACR Cryptol. ePrint Arch.
Shan Chen, Manuel Barbosa, Alexandra Boldyreva, Bogdan Warinschi
2020 J jnl
SWiSSSE: System-Wide Security for Searchable Symmetric Encryption.
IACR Cryptol. ePrint Arch.
Zichen Gui, Kenneth G. Paterson, Sikhar Patranabis, Bogdan Warinschi
2019 J jnl
Authentication in Key-Exchange: Definitions, Relations and Composition.
IACR Cryptol. ePrint Arch.
Cyprien Delpech de Saint Guilhem, Marc Fischlin, Bogdan Warinschi
2019 B conf
Efficient Function-Hiding Functional Encryption: From Inner-Products to Orthogonality.
CT-RSA
Manuel Barbosa, Dario Catalano, Azam Soleimanian, Bogdan Warinschi
2019 A* conf
Encrypted Databases: New Volume Attacks against Range Queries.
CCS
Zichen Gui, Oliver Johnson, Bogdan Warinschi
2019 J jnl
Encrypted Databases: New Volume Attacks against Range Queries.
IACR Cryptol. ePrint Arch.
Zichen Gui, Oliver Johnson, Bogdan Warinschi
2019 B conf
Masking Fuzzy-Searchable Public Databases.
ACNS
Alexandra Boldyreva, Tianxin Tang, Bogdan Warinschi
2019 J jnl
Masking Fuzzy-Searchable Public Databases.
IACR Cryptol. ePrint Arch.
Alexandra Boldyreva, Tianxin Tang, Bogdan Warinschi
2018 J jnl
How to build time-lock encryption.
Des. Codes Cryptogr.
Jia Liu, Tibor Jager, Saqib A. Kakvi, Bogdan Warinschi
2018 A conf
Machine-Checked Proofs for Electronic Voting: Privacy and Verifiability for Belenios.
CSF
Véronique Cortier, Constantin Catalin Dragan, François Dupressoir, Bogdan Warinschi
2018 — conf
Safe cryptography for all: towards visual metaphor driven cryptography building blocks.
SEAD@ICSE
Dirk van der Linden, Awais Rashid, Emma J. Williams, Bogdan Warinschi
2018 J jnl
Verifiability Analysis of CHVote.
IACR Cryptol. ePrint Arch.
David Bernhard, Véronique Cortier, Pierrick Gaudry, Mathieu Turuani, Bogdan Warinschi
2017 B conf
Adaptive Proofs Have Straightline Extractors (in the Random Oracle Model).
ACNS
David Bernhard, Ngoc Khanh Nguyen, Bogdan Warinschi
2017 C conf
Generic Forward-Secure Key Agreement Without Signatures.
ISC
Cyprien de Saint Guilhem, Nigel P. Smart, Bogdan Warinschi
2017 J jnl
Generic Forward-Secure Key Agreement Without Signatures.
IACR Cryptol. ePrint Arch.
Cyprien de Saint Guilhem, Nigel P. Smart, Bogdan Warinschi
2017 A* conf
Machine-Checked Proofs of Privacy for Electronic Voting Protocols.
IEEE Symposium on Security and Privacy
Véronique Cortier, Constantin Catalin Dragan, François Dupressoir, Benedikt Schmidt, Pierre-Yves Strub, Bogdan Warinschi
2017 J jnl
Multi-Key Authenticated Encryption with Corruptions: Reductions are Lossy.
IACR Cryptol. ePrint Arch.
Tibor Jager, Martijn Stam, Ryan Stanley-Oakes, Bogdan Warinschi
2017 — conf
Multi-key Authenticated Encryption with Corruptions: Reductions Are Lossy.
TCC (1)
Tibor Jager, Martijn Stam, Ryan Stanley-Oakes, Bogdan Warinschi
2017 A conf
Secure Composition of PKIs with Public Key Protocols.
CSF
Vincent Cheval, Véronique Cortier, Bogdan Warinschi
2017 — conf
Secure Multiparty Computation from SGX.
Financial Cryptography
Raad Bahmani, Manuel Barbosa, Ferdinand Brasser, Bernardo Portela, Ahmad-Reza Sadeghi, Guillaume Scerri, Bogdan Warinschi
2016 — conf
A Modular Treatment of Cryptographic APIs: The Symmetric-Key Case.
CRYPTO (1)
Thomas Shrimpton, Martijn Stam, Bogdan Warinschi
2016 J jnl
A Modular Treatment of Cryptographic APIs: The Symmetric-Key Case.
IACR Cryptol. ePrint Arch.
Thomas Shrimpton, Martijn Stam, Bogdan Warinschi
2016 J jnl
Adapting Helios for provable ballot privacy.
IACR Cryptol. ePrint Arch.
David Bernhard, Véronique Cortier, Olivier Pereira, Ben Smyth, Bogdan Warinschi
2016 J jnl
Adaptive proofs of knowledge in the random oracle model.
IET Inf. Secur.
David Bernhard, Marc Fischlin, Bogdan Warinschi
2016 J jnl
Cryptographic Voting - A Gentle Introduction.
IACR Cryptol. ePrint Arch.
David Bernhard, Bogdan Warinschi
2016 A conf
Foundations of Hardware-Based Attested Computation and Application to SGX.
EuroS&P
Manuel Barbosa, Bernardo Portela, Guillaume Scerri, Bogdan Warinschi
2016 J jnl
Foundations of Hardware-Based Attested Computation and Application to SGX.
IACR Cryptol. ePrint Arch.
Manuel Barbosa, Bernardo Portela, Guillaume Scerri, Bogdan Warinschi
2016 J jnl
How not to Prove Yourself: Pitfalls of the Fiat-Shamir Heuristic and Applications to Helios.
IACR Cryptol. ePrint Arch.
David Bernhard, Olivier Pereira, Bogdan Warinschi
2016 A* conf
Key Confirmation in Key Exchange: A Formal Treatment and Implications for TLS 1.3.
IEEE Symposium on Security and Privacy
Marc Fischlin, Felix Günther, Benedikt Schmidt, Bogdan Warinschi
2016 — conf
On the Hardness of Proving CCA-Security of Signed ElGamal.
Public Key Cryptography (1)
David Bernhard, Marc Fischlin, Bogdan Warinschi
2016 Misc conf
Provably-Secure Remote Memory Attestation for Heap Overflow Protection.
SCN
Alexandra Boldyreva, Taesoo Kim, Richard J. Lipton, Bogdan Warinschi
2016 J jnl
Secure Multiparty Computation from SGX.
IACR Cryptol. ePrint Arch.
Raad Bahmani, Manuel Barbosa, Ferdinand Brasser, Bernardo Portela, Ahmad-Reza Sadeghi, Guillaume Scerri, Bogdan Warinschi
2016 A conf
Secure Software Licensing: Models, Constructions, and Proofs.
CSF
Sergiu Costea, Bogdan Warinschi
2016 C conf
Universally Composable Cryptographic Role-Based Access Control.
ProvSec
Bin Liu, Bogdan Warinschi
2016 J jnl
Universally Composable Cryptographic Role-Based Access Control.
IACR Cryptol. ePrint Arch.
Bin Liu, Bogdan Warinschi
2015 J jnl
A comprehensive analysis of game-based ballot privacy definitions.
IACR Cryptol. ePrint Arch.
David Bernhard, Véronique Cortier, David Galindo, Olivier Pereira, Bogdan Warinschi
2015 — conf
Adaptive Proofs of Knowledge in the Random Oracle Model.
Public Key Cryptography
David Bernhard, Marc Fischlin, Bogdan Warinschi
2015 J jnl
Adaptive Proofs of Knowledge in the Random Oracle Model.
IACR Cryptol. ePrint Arch.
David Bernhard, Marc Fischlin, Bogdan Warinschi
2015 J jnl
Extractable Witness Encryption and Timed-Release Encryption from Bitcoin.
IACR Cryptol. ePrint Arch.
Jia Liu, Saqib A. Kakvi, Bogdan Warinschi
2015 J jnl
On Limitations of the Fiat­ - Shamir Transformation.
IACR Cryptol. ePrint Arch.
David Bernhard, Bogdan Warinschi
2015 J jnl
On the Hardness of Proving CCA-security of Signed ElGamal.
IACR Cryptol. ePrint Arch.
David Bernhard, Marc Fischlin, Bogdan Warinschi
2015 A conf
Policy Privacy in Cryptographic Access Control.
CSF
Anna Lisa Ferrara, Georg Fuchsbauer, Bin Liu, Bogdan Warinschi
2015 — conf
Selective Opening Security for Receivers.
ASIACRYPT (1)
Carmit Hazay, Arpita Patra, Bogdan Warinschi
2015 J jnl
Selective Opening Security for Receivers.
IACR Cryptol. ePrint Arch.
Carmit Hazay, Arpita Patra, Bogdan Warinschi
2015 A* conf
SoK: A Comprehensive Analysis of Game-Based Ballot Privacy Definitions.
IEEE Symposium on Security and Privacy
David Bernhard, Véronique Cortier, David Galindo, Olivier Pereira, Bogdan Warinschi
2015 J jnl
Towards Provably-Secure Remote Memory Attestation.
IACR Cryptol. ePrint Arch.
Alexandra Boldyreva, Taesoo Kim, Richard J. Lipton, Bogdan Warinschi
2014 J jnl
Anonymity guarantees of the UMTS/LTE authentication and connection protocol.
Int. J. Inf. Sec.
Ming-Feng Lee, Nigel P. Smart, Bogdan Warinschi, Gaven J. Watson
2014 J jnl
Cryptographic puzzles and DoS resilience, revisited.
Des. Codes Cryptogr.
Bogdan Groza, Bogdan Warinschi
2014 — conf
Homomorphic Signatures with Efficient Verification for Polynomial Functions.
CRYPTO (1)
Dario Catalano, Dario Fiore, Bogdan Warinschi
2014 J jnl
Homomorphic Signatures with Efficient Verification for Polynomial Functions.
IACR Cryptol. ePrint Arch.
Dario Catalano, Dario Fiore, Bogdan Warinschi
2013 J jnl
An Analysis of the EMV Channel Establishment Protocol.
IACR Cryptol. ePrint Arch.
Christina Brzuska, Nigel P. Smart, Bogdan Warinschi, Gaven J. Watson
2013 A* conf
An analysis of the EMV channel establishment protocol.
CCS
Christina Brzuska, Nigel P. Smart, Bogdan Warinschi, Gaven J. Watson
2013 J jnl
Anonymity Guarantees of the UMTS/LTE Authentication and Connection Protocol.
IACR Cryptol. ePrint Arch.
Ming-Feng Lee, Nigel P. Smart, Bogdan Warinschi, Gaven J. Watson
2013 J jnl
Anonymous attestation with user-controlled linkability.
Int. J. Inf. Sec.
David Bernhard, Georg Fuchsbauer, Essam Ghadafi, Nigel P. Smart, Bogdan Warinschi
2013 — conf
Cryptographic Voting - A Gentle Introduction.
FOSAD
David Bernhard, Bogdan Warinschi
2013 A conf
Cryptographically Enforced RBAC.
CSF
Anna Lisa Ferrara, Georg Fuchsbauer, Bogdan Warinschi
2013 J jnl
Cryptographically Enforced RBAC.
IACR Cryptol. ePrint Arch.
Anna Lisa Ferrara, Georg Fuchsbauer, Bogdan Warinschi
2013 J jnl
Deduction Soundness: Prove One, Get Five for Free.
IACR Cryptol. ePrint Arch.
Florian Böhl, Véronique Cortier, Bogdan Warinschi
2013 A* conf
Deduction soundness: prove one, get five for free.
CCS
Florian Böhl, Véronique Cortier, Bogdan Warinschi
2013 J jnl
Less is more: relaxed yet composable security notions for key exchange.
Int. J. Inf. Sec.
Christina Brzuska, Marc Fischlin, Nigel P. Smart, Bogdan Warinschi, Stephen C. Williams
2012 — conf
Efficient Network Coding Signatures in the Standard Model.
Public Key Cryptography
Dario Catalano, Dario Fiore, Bogdan Warinschi
2012 A conf
How Not to Prove Yourself: Pitfalls of the Fiat-Shamir Heuristic and Applications to Helios.
ASIACRYPT
David Bernhard, Olivier Pereira, Bogdan Warinschi
2012 J jnl
Less is More: Relaxed yet Composable Security Notions for Key Exchange.
IACR Cryptol. ePrint Arch.
Christina Brzuska, Marc Fischlin, Nigel P. Smart, Bogdan Warinschi, Stephen C. Williams
2012 A* conf
Measuring vote privacy, revisited.
CCS
David Bernhard, Véronique Cortier, Olivier Pereira, Bogdan Warinschi
2012 J jnl
On Necessary and Sufficient Conditions for Private Ballot Submission.
IACR Cryptol. ePrint Arch.
David Bernhard, Olivier Pereira, Bogdan Warinschi
2012 C conf
Revisiting Difficulty Notions for Client Puzzles and DoS Resilience.
ISC
Bogdan Groza, Bogdan Warinschi
2012 J jnl
Secure Proxy Signature Schemes for Delegation of Signing Rights.
J. Cryptol.
Alexandra Boldyreva, Adriana Palacio, Bogdan Warinschi
2011 J jnl
A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems.
J. Autom. Reason.
Véronique Cortier, Steve Kremer, Bogdan Warinschi
2011 A* conf
A composable computational soundness notion.
CCS
Véronique Cortier, Bogdan Warinschi
2011 A conf
Adapting Helios for Provable Ballot Privacy.
ESORICS
David Bernhard, Véronique Cortier, Olivier Pereira, Ben Smyth, Bogdan Warinschi
2011 J jnl
Adaptive Pseudo-Free Groups and Applications.
IACR Cryptol. ePrint Arch.
Dario Catalano, Dario Fiore, Bogdan Warinschi
2011 A* conf
Adaptive Pseudo-free Groups and Applications.
EUROCRYPT
Dario Catalano, Dario Fiore, Bogdan Warinschi
2011 J jnl
Anonymous attestation with user-controlled linkability.
IACR Cryptol. ePrint Arch.
David Bernhard, Georg Fuchsbauer, Essam Ghadafi, Nigel P. Smart, Bogdan Warinschi
2011 A* conf
Composability of bellare-rogaway key exchange protocols.
CCS
Christina Brzuska, Marc Fischlin, Bogdan Warinschi, Stephen C. Williams
2011 — ch.
Computational Soundness - The Case of Diffie-Hellman Keys.
Formal Models and Techniques for Analyzing Security Protocols
Emmanuel Bresson, Yassine Lakhnech, Laurent Mazaré, Bogdan Warinschi
2011 J jnl
Efficient Network Coding Signatures in the Standard Model.
IACR Cryptol. ePrint Arch.
Dario Catalano, Dario Fiore, Bogdan Warinschi
2011 A conf
Security for Key Management Interfaces.
CSF
Steve Kremer, Graham Steel, Bogdan Warinschi
2011 — conf
Security of the Enhanced TCG Privacy-CA Solution.
TGC
Liqun Chen, Ming-Feng Lee, Bogdan Warinschi
2010 Misc conf
Get Shorty via Group Signatures without Encryption.
SCN
Patrik Bichsel, Jan Camenisch, Gregory Neven, Nigel P. Smart, Bogdan Warinschi
2010 — conf
Groth-Sahai Proofs Revisited.
Public Key Cryptography
Essam Ghadafi, Nigel P. Smart, Bogdan Warinschi
2010 J jnl
Guessing attacks and the computational soundness of static equivalence.
J. Comput. Secur.
Mathieu Baudet, Bogdan Warinschi, Martín Abadi
2010 A conf
Robustness Guarantees for Anonymity.
CSF
Gilles Barthe, Alejandro Hevia, Zhengqin Luo, Tamara Rezk, Bogdan Warinschi
2010 C conf
Security of the TCG Privacy-CA Solution.
EUC
Liqun Chen, Bogdan Warinschi
2010 Misc conf
The Fiat-Shamir Transform for Group and Ring Signature Schemes.
SCN
Ming-Feng Lee, Nigel P. Smart, Bogdan Warinschi
2010 J jnl
The Fiat-Shamir Transform for Group and Ring Signature Schemes.
IACR Cryptol. ePrint Arch.
Ming-Feng Lee, Nigel P. Smart, Bogdan Warinschi
2010 J jnl
The TLS Handshake Protocol: A Modular Analysis.
J. Cryptol.
Paul Morrissey, Nigel P. Smart, Bogdan Warinschi
2009 — conf
Certified Encryption Revisited.
AFRICACRYPT
Pooya Farshim, Bogdan Warinschi
2009 J jnl
Foundations of Non-Malleable Hash and One-Way Functions.
IACR Cryptol. ePrint Arch.
Alexandra Boldyreva, David Cash, Marc Fischlin, Bogdan Warinschi
2009 A conf
Foundations of Non-malleable Hash and One-Way Functions.
ASIACRYPT
Alexandra Boldyreva, David Cash, Marc Fischlin, Bogdan Warinschi
2009 J jnl
Groth-Sahai proofs revisited.
IACR Cryptol. ePrint Arch.
Essam Ghadafi, Nigel P. Smart, Bogdan Warinschi
2009 J jnl
Hash function requirements for Schnorr signatures.
J. Math. Cryptol.
Gregory Neven, Nigel P. Smart, Bogdan Warinschi
2009 C conf
Identity Based Group Signatures from Hierarchical Identity-Based Encryption.
Pairing
Nigel P. Smart, Bogdan Warinschi
2009 J jnl
Identity Based Group Signatures from Hierarchical Identity-Based Encryption.
IACR Cryptol. ePrint Arch.
Nigel P. Smart, Bogdan Warinschi
2009 C conf
Practical Zero-Knowledge Proofs for Circuit Evaluation.
IMACC
Essam Ghadafi, Nigel P. Smart, Bogdan Warinschi
2009 A conf
Security Notions and Generic Constructions for Client Puzzles.
ASIACRYPT
Liqun Chen, Paul Morrissey, Nigel P. Smart, Bogdan Warinschi
2009 J jnl
Security Notions and Generic Constructions for Client Puzzles.
IACR Cryptol. ePrint Arch.
Liqun Chen, Paul Morrissey, Nigel P. Smart, Bogdan Warinschi
2009 — conf
Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption.
ARSPA-WITS
Laurent Mazaré, Bogdan Warinschi
2009 C conf
Symbolic Methods for Provable Security.
ProvSec
Bogdan Warinschi
2008 A conf
A Modular Security Analysis of the TLS Handshake Protocol.
ASIACRYPT
Paul Morrissey, Nigel P. Smart, Bogdan Warinschi
2008 J jnl
A Modular Security Analysis of the TLS Handshake Protocol.
IACR Cryptol. ePrint Arch.
Paul Morrissey, Nigel P. Smart, Bogdan Warinschi
2008 J jnl
Security analysis of cryptographically controlled access to XML documents.
J. ACM
Martín Abadi, Bogdan Warinschi
2007 — conf
A Closer Look at PKI: Security and Efficiency.
Public Key Cryptography
Alexandra Boldyreva, Marc Fischlin, Adriana Palacio, Bogdan Warinschi
2007 A conf
A Cryptographic Model for Branching Time Security Properties - The Case of Contract Signing Protocols.
ESORICS
Véronique Cortier, Ralf Küsters, Bogdan Warinschi
2007 J jnl
A Cryptographic Model for Branching Time Security Properties - the Case of Contract Signing Protocols.
IACR Cryptol. ePrint Arch.
Véronique Cortier, Ralf Küsters, Bogdan Warinschi
2007 A* conf
A Generalization of DDH with Applications to Protocol Analysis and Computational Soundness.
CRYPTO
Emmanuel Bresson, Yassine Lakhnech, Laurent Mazaré, Bogdan Warinschi
2007 A conf
Synthesizing Secure Protocols.
ESORICS
Véronique Cortier, Bogdan Warinschi, Eugen Zalinescu
2006 — conf
Computationally Sound Compositional Logic for Key Exchange Protocols.
CSFW
Anupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi
2006 — conf
Computationally Sound Symbolic Secrecy in the Presence of Hash Functions.
FSTTCS
Véronique Cortier, Steve Kremer, Ralf Küsters, Bogdan Warinschi
2006 J jnl
Computationally Sound Symbolic Secrecy in the Presence of Hash Functions.
IACR Cryptol. ePrint Arch.
Véronique Cortier, Steve Kremer, Ralf Küsters, Bogdan Warinschi
2006 J jnl
Explicit Randomness is not Necessary when Modeling Probabilistic Encryption
CoRR
Véronique Cortier, Heinrich Hördegen, Bogdan Warinschi
2006 — conf
Explicit Randomness is not Necessary when Modeling Probabilistic Encryption.
ICS@SYNASC
Véronique Cortier, Heinrich Hördegen, Bogdan Warinschi
2006 B conf
Guessing Attacks and the Computational Soundness of Static Equivalence.
FoSSaCS
Martín Abadi, Mathieu Baudet, Bogdan Warinschi
2006 J jnl
Key Exchange Protocols: Security Definition, Proof Method and Applications.
IACR Cryptol. ePrint Arch.
Anupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi
2005 J jnl
A computational analysis of the Needham-Schroeder-(Lowe) protocol.
J. Comput. Secur.
Bogdan Warinschi
2005 A conf
Computationally Sound, Automated Proofs for Security Protocols.
ESOP
Véronique Cortier, Bogdan Warinschi
2005 A* conf
Password-Based Encryption Analyzed.
ICALP
Martín Abadi, Bogdan Warinschi
2005 A* conf
Security analysis of cryptographically controlled access to XML documents.
PODS
Martín Abadi, Bogdan Warinschi
2004 J jnl
Completeness Theorems for the Abadi-Rogaway Language of Encrypted Expressions.
J. Comput. Secur.
Daniele Micciancio, Bogdan Warinschi
2004 Misc conf
Efficient Blind Signatures Without Random Oracles.
SCN
Jan Camenisch, Maciej Koprowski, Bogdan Warinschi
2004 C conf
On the Minimal Assumptions of Group Signature Schemes.
ICICS
Michel Abdalla, Bogdan Warinschi
2004 B conf
Soundness of Formal Encryption in the Presence of Active Adversaries.
TCC
Daniele Micciancio, Bogdan Warinschi
2003 — conf
A Computational Analysis of the Needham-Schröeder-(Lowe) Protocol.
CSFW
Bogdan Warinschi
2003 A* conf
Foundations of Group Signatures: Formal Definitions, Simplified Requirements, and a Construction Based on General Assumptions.
EUROCRYPT
Mihir Bellare, Daniele Micciancio, Bogdan Warinschi
2003 J jnl
Secure Proxy Signature Schemes for Delegation of Signing Rights.
IACR Cryptol. ePrint Arch.
Alexandra Boldyreva, Adriana Palacio, Bogdan Warinschi
2001 B conf
A linear space algorithm for computing the herite normal form.
ISSAC
Daniele Micciancio, Bogdan Warinschi
2000 J jnl
A Linear Space Algorithm for Computing the Hermite Normal Form
Electron. Colloquium Comput. Complex.
Daniele Micciancio, Bogdan Warinschi