B. Warinschi

发表

Véronique Cortier, Bogdan Warinschi, David Bernhard, 2012, CCS.

Foundations of group signatures: Formal de ni-tions

Mihir Bellare, Bogdan Warinschi, Daniele Micciancio, 2003 .

Timed Frame Models for Discrete Time Process Algebras Timed Frame Models for Discrete Time Process Algebras

Jan Bergstra, C. A. Middelburg, J. Bergstra, 1997 .

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Hsinchun Chen, Daniel Zeng, David Madigan, 2007, KDD 2013.

European Symposium on Programming - ESOP 2005

Véronique Cortier, Bogdan Warinschi, V. Cortier, 2005 .

How Do We Ensure Users Engage In Secure Online Behavior? A Psychological Perspective

Emma J. Williams, B. Warinschi, J. Noyes, 2018 .

Foundations of Software Science and Computational Structures - FOSSACS 2006

Martín Abadi, Bogdan Warinschi, Mathieu Baudet, 2006 .

Foundations for Group Signatures: Simplified Requirements and a Construction Based on General Assumptions

Mihir Bellare, Bogdan Warinschi, Daniele Micciancio, 2003 .

Security in Communication Networks - SCN 2004

Jan Camenisch, Bogdan Warinschi, Maciej Koprowski, 2004 .

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Stefan Katzenbeisser, L. Jean Camp, Michael K. Reiter, 2007, Knowledge Discovery and Data Mining.

Coding and Cryptography - IMACC 2009

Bogdan Warinschi, Nigel P. Smart, Essam Ghadafi, 2009 .

Advances in Cryptology - Asiacrypt 2008

Bogdan Warinschi, Nigel P. Smart, Paul Morrissey, 2008 .

Process Communication on Clusters

B. Warinschi, Ju Wang, S. Al-Muhammadi, 1998 .

IEEE Computer Security Foundations Symposium - CSF 2010

Gilles Barthe, Bogdan Warinschi, Tamara Rezk, 2010 .

Public Key Cryptography - PKC 2012

Bogdan Warinschi, Dario Fiore, Dario Catalano, 2012 .

Cryptographic Role-Based Access Control, Reconsidered

B. Warinschi, Bin Liu, A. Michalas, 2022, IACR Cryptol. ePrint Arch..

Advances in Cryptology – CRYPTO 2020: 40th Annual International Cryptology Conference, CRYPTO 2020, Santa Barbara, CA, USA, August 17–21, 2020, Proceedings, Part I

Emmanuel Bresson, Bogdan Warinschi, Yassine Lakhnech, 2020, CRYPTO.

International Symposium on Symbolic and Algebraic Computation, ISSAC - 2001

Bogdan Warinschi, Daniele Micciancio, Daniele Micciancio, 2001 .

Combining approaches for the security of infinite state systems

Fabrice Bouquet, Bruno Legeard, Calogero G. Zarba, 2005 .

European Symposium On Research In Computer Security - ESORICS 2007

Bogdan Warinschi, Véronique Cortier, Ralf Kuesters, 2007 .

Security analysis of cryptographically controlled access to XML documents

Martín Abadi, Bogdan Warinschi, M. Abadi, 2005, PODS '05.

Lifting Standard Model Reductions to Common Setup Assumptions

Bogdan Warinschi, Ngoc Khanh Nguyen, Eftychios Theodorakis, 2021, IACR Cryptol. ePrint Arch..

Provable Security Analysis of FIDO2

Bogdan Warinschi, Manuel Barbosa, Alexandra Boldyreva, 2020, IACR Cryptol. ePrint Arch..

Secure Software Licensing: Models, Constructions, and Proofs

Bogdan Warinschi, Sergiu Costea, B. Warinschi, 2016, 2016 IEEE 29th Computer Security Foundations Symposium (CSF).

Selective Opening Security for Receivers

Carmit Hazay, Bogdan Warinschi, Arpita Patra, 2015, ASIACRYPT.

Policy Privacy in Cryptographic Access Control

Georg Fuchsbauer, Bin Liu, Anna Lisa Ferrara, 2015, 2015 IEEE 28th Computer Security Foundations Symposium.

Security for Key Management Interfaces

Graham Steel, Bogdan Warinschi, Steve Kremer, 2011, 2011 IEEE 24th Computer Security Foundations Symposium.

Robustness Guarantees for Anonymity

Gilles Barthe, Bogdan Warinschi, Tamara Rezk, 2010, 2010 23rd IEEE Computer Security Foundations Symposium.

A Closer Look at PKI: Security and Efficiency

Marc Fischlin, Bogdan Warinschi, Alexandra Boldyreva, 2007, Public Key Cryptography.

Computationally Sound Symbolic Secrecy in the Presence of Hash Functions

Véronique Cortier, Ralf Küsters, Bogdan Warinschi, 2006, FSTTCS.

Computationally Sound Compositional Logic for Security Protocols

Vitaly Shmatikov, John C. Mitchell, Bogdan Warinschi, 2006 .

Computationally sound compositional logic for key exchange protocols

John C. Mitchell, Bogdan Warinschi, Anupam Datta, 2006, 19th IEEE Computer Security Foundations Workshop (CSFW'06).

Explicit Randomness is not Necessary when Modeling Probabilistic Encryption

Véronique Cortier, Bogdan Warinschi, Heinrich Hördegen, 2006, ICS@SYNASC.

Password-Based Encryption Analyzed

Martín Abadi, Bogdan Warinschi, M. Abadi, 2005, ICALP.

On the Minimal Assumptions of Group Signature Schemes

Bogdan Warinschi, Michel Abdalla, Michel Abdalla, 2004, ICICS.

Completeness Theorems for the Abadi-Rogaway Language of Encrypted Expressions

Bogdan Warinschi, Daniele Micciancio, Daniele Micciancio, 2004, J. Comput. Secur..

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

Bogdan Warinschi, B. Warinschi, 2003, 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings..

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

Mihir Bellare, Bogdan Warinschi, Daniele Micciancio, 2003, EUROCRYPT.

Theory of Cryptography

Bogdan Warinschi, Daniele Micciancio, Daniele Micciancio, 2004, Lecture Notes in Computer Science.

Foundations of Hardware-Based Attested Computation and Application to SGX

Bogdan Warinschi, Manuel Barbosa, Guillaume Scerri, 2016, 2016 IEEE European Symposium on Security and Privacy (EuroS&P).

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

Marc Fischlin, Bogdan Warinschi, Nigel P. Smart, 2013, International Journal of Information Security.

Composability of bellare-rogaway key exchange protocols

Marc Fischlin, Bogdan Warinschi, Christina Brzuska, 2011, CCS '11.

The TLS Handshake Protocol: A Modular Analysis

Bogdan Warinschi, Nigel P. Smart, Paul Morrissey, 2010, Journal of Cryptology.

A Modular Security Analysis of the TLS Handshake Protocol

Bogdan Warinschi, Nigel P. Smart, Paul Morrissey, 2008, ASIACRYPT.

Foundations of Non-malleable Hash and One-Way Functions

David Cash, Marc Fischlin, Bogdan Warinschi, 2009, ASIACRYPT.

Anonymous attestation with user-controlled linkability

N. Smart, B. Warinschi, G. Fuchsbauer, 2013, International Journal of Information Security.

Security of the TCG Privacy-CA Solution

Bogdan Warinschi, Liqun Chen, Liqun Chen, 2010, 2010 IEEE/IFIP International Conference on Embedded and Ubiquitous Computing.

A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems

Véronique Cortier, Bogdan Warinschi, Steve Kremer, 2011, Journal of Automated Reasoning.

Security of the Enhanced TCG Privacy-CA Solution

Bogdan Warinschi, Liqun Chen, Ming-Feng Lee, 2011, TGC.

Hash function requirements for Schnorr signatures

Gregory Neven, Bogdan Warinschi, Nigel P. Smart, 2009, J. Math. Cryptol..

Homomorphic Signatures with Efficient Verification for Polynomial Functions

Bogdan Warinschi, Dario Fiore, Dario Catalano, 2014, CRYPTO.

Secure Multiparty Computation from SGX

Ahmad-Reza Sadeghi, Bogdan Warinschi, Manuel Barbosa, 2017, Financial Cryptography.

Efficient Network Coding Signatures in the Standard Model

Bogdan Warinschi, Dario Fiore, Dario Catalano, 2012, Public Key Cryptography.

Advances in Cryptology – EUROCRYPT 2019

Bogdan Warinschi, Dario Fiore, Dario Catalano, 2019, Lecture Notes in Computer Science.

Machine-Checked Proofs of Privacy for Electronic Voting Protocols

Véronique Cortier, Pierre-Yves Strub, Bogdan Warinschi, 2017, 2017 IEEE Symposium on Security and Privacy (SP).

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

Véronique Cortier, Bogdan Warinschi, David Bernhard, 2015, 2015 IEEE Symposium on Security and Privacy.

Certified Encryption Revisited

Bogdan Warinschi, Pooya Farshim, B. Warinschi, 2009, AFRICACRYPT.

Secure Proxy Signature Schemes for Delegation of Signing Rights

Bogdan Warinschi, Alexandra Boldyreva, Adriana Palacio, 2010, Journal of Cryptology.

A linear space algorithm for computing the hermite normal form

Bogdan Warinschi, Daniele Micciancio, Daniele Micciancio, 2001, ISSAC '01.

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

Bogdan Warinschi, David Bernhard, Olivier Pereira, 2012, ASIACRYPT.

Adaptive proofs of knowledge in the random oracle model

Marc Fischlin, Bogdan Warinschi, David Bernhard, 2015, IET Inf. Secur..

Secure Composition of PKIs with Public Key Protocols

Vincent Cheval, Véronique Cortier, Bogdan Warinschi, 2017, 2017 IEEE 30th Computer Security Foundations Symposium (CSF).

Adapting Helios for Provable Ballot Privacy

Ben Smyth, Véronique Cortier, Bogdan Warinschi, 2011, ESORICS.

Encrypted Databases: New Volume Attacks against Range Queries

Bogdan Warinschi, Oliver Johnson, Zichen Gui, 2019, IACR Cryptol. ePrint Arch..

Identity Based Group Signatures from Hierarchical Identity-Based Encryption

Bogdan Warinschi, Nigel P. Smart, N. Smart, 2009, Pairing.

Soundness of Formal Encryption in the Presence of Active Adversaries

Bogdan Warinschi, Daniele Micciancio, Daniele Micciancio, 2004, TCC.

Adaptive Pseudo-Free Groups and Applications

Bogdan Warinschi, Dario Fiore, Dario Catalano, 2011, IACR Cryptol. ePrint Arch..

Extractable Witness Encryption and Timed-Release Encryption from Bitcoin

Jia Liu, Bogdan Warinschi, Saqib A. Kakvi, 2015, IACR Cryptol. ePrint Arch..

Synthesizing Secure Protocols

Véronique Cortier, Bogdan Warinschi, Eugen Zalinescu, 2007, ESORICS.

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

Marc Fischlin, Bogdan Warinschi, Benedikt Schmidt, 2016, 2016 IEEE Symposium on Security and Privacy (SP).

Guessing attacks and the computational soundness of static equivalence

Martín Abadi, Bogdan Warinschi, Mathieu Baudet, 2006, J. Comput. Secur..

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

Bogdan Warinschi, Manuel Barbosa, Dario Catalano, 2019, CT-RSA.

Secure Proxy Signature Schemes for Delegation of Signing Rights

A. Boldyreva, Adriana Palacio, B. Warinschi, 2010, Journal of Cryptology.

Conference on Computer and Communications Security - CCS 2011

Véronique Cortier, Bogdan Warinschi, V. Cortier, 2011 .

Efficient Blind Signatures Without Random Oracles

Jan Camenisch, Bogdan Warinschi, Maciej Koprowski, 2004, SCN.

Practical Zero-Knowledge Proofs for Circuit Evaluation

Bogdan Warinschi, Nigel P. Smart, Essam Ghadafi, 2009, IMACC.

Cryptographic puzzles and DoS resilience, revisited

Bogdan Warinschi, Bogdan Groza, B. Warinschi, 2014, Des. Codes Cryptogr..

Cryptographic puzzles and DoS resilience, revisited

B. Warinschi, B. Groza, 2013, Designs, Codes and Cryptography.

Authentication in Key-Exchange: Definitions, Relations and Composition

Marc Fischlin, Bogdan Warinschi, Cyprien Delpech de Saint Guilhem, 2020, 2020 IEEE 33rd Computer Security Foundations Symposium (CSF).

An analysis of the EMV channel establishment protocol

Gaven J. Watson, Bogdan Warinschi, Nigel P. Smart, 2013, IACR Cryptol. ePrint Arch..

SWiSSSE: System-Wide Security for Searchable Symmetric Encryption

Kenneth G. Paterson, Sikhar Patranabis, Bogdan Warinschi, 2024, IACR Cryptol. ePrint Arch..

Revisiting Difficulty Notions for Client Puzzles and DoS Resilience

Bogdan Warinschi, Bogdan Groza, B. Warinschi, 2012, ISC.

Security Notions and Generic Constructions for Client Puzzles

Bogdan Warinschi, Liqun Chen, Nigel P. Smart, 2009, ASIACRYPT.

An Overview of the Tatami Project

Grigore Rosu, Joseph A. Goguen, Bogdan Warinschi, 2000 .

Groth-Sahai proofs revisited

Bogdan Warinschi, Nigel P. Smart, Essam Ghadafi, 2010, IACR Cryptol. ePrint Arch..

A Survey of Symbolic Methods in Computational Analysis of Cryptographic Systems

V. Cortier, B. Warinschi, Steve Kremer, 2011, Journal of Automated Reasoning.

Decentralized and Stateful Serverless Computing on the Internet Computer Blockchain

Y. Pignolet, B. Warinschi, Alexandru Uta, 2023, USENIX Annual Technical Conference.

Multi-key Authenticated Encryption with Corruptions: Reductions Are Lossy

Tibor Jager, Bogdan Warinschi, Ryan Stanley-Oakes, 2017, TCC.