Marc Fischlin

Felix Günther

Kenneth G. Paterson

Proceedings of the Advances in Cryptology - CRYPTO 2015, 2015

A Cryptographic Analysis of the TLS 1.3 Handshake Protocol Candidates.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

Privately Computing Set-Union and Set-Intersection Cardinality via Bloom Filters.

[BibT_eX]

[DOI]

Proceedings of the Information Security and Privacy - 20th Australasian Conference, 2015

2014

Operational Signature Schemes.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2014

Abstreitbarkeit bei eID-Lösungen.

[BibT_eX]

[DOI]

Datenschutz und Datensicherheit, 2014

Unpicking PLAID - A Cryptographic Analysis of an ISO-Standards-Track Authentication Protocol.

[BibT_eX]

[DOI]

Arno Mittelbach

Kenneth G. Paterson

Proceedings of the Security Standardisation Research - First International Conference, 2014

Intercepting tokens in cryptographic protocols: The empire strikes back in the clone wars.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Symposium on Information Theory, Honolulu, HI, USA, June 29, 2014

Multi-Stage Key Exchange and the Case of Google's QUIC Protocol.

[BibT_eX]

[DOI]

Felix Günther

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

2013

A Cryptographic Analysis of OPACITY.

[BibT_eX]

[DOI]

Tommaso Gagliardoni

Arno Mittelbach

IACR Cryptol. ePrint Arch., 2013

Subtle kinks in distance-bounding: an analysis of prominent protocols.

[BibT_eX]

[DOI]

Proceedings of the Sixth ACM Conference on Security and Privacy in Wireless and Mobile Networks, 2013

The PACE|CA Protocol for Machine Readable Travel Documents.

[BibT_eX]

[DOI]

Jens Bender

Dennis Kügler

Proceedings of the Trusted Systems - 5th International Conference, 2013

Limitations of the Meta-reduction Technique: The Case of Schnorr Signatures.

[BibT_eX]

[DOI]

Nils Fleischhacker

Proceedings of the Advances in Cryptology, 2013

Ideal-Cipher (Ir)reducibility for Blockcipher-Based Hash Functions.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology, 2013

A Cryptographic Analysis of OPACITY - (Extended Abstract).

[BibT_eX]

[DOI]

Tommaso Gagliardoni

Arno Mittelbach

Proceedings of the Computer Security - ESORICS 2013, 2013

The Fiat-Shamir Transformation in a Quantum World.

[BibT_eX]

[DOI]

Tommaso Gagliardoni

Proceedings of the Advances in Cryptology - ASIACRYPT 2013, 2013

Notions of Black-Box Reductions, Revisited.

[BibT_eX]

[DOI]

Paul Baecher

Christina Brzuska

Proceedings of the Advances in Cryptology - ASIACRYPT 2013, 2013

Terrorism in Distance Bounding: Modeling Terrorist-Fraud Resistance.

[BibT_eX]

[DOI]

Proceedings of the Applied Cryptography and Network Security, 2013

Computing on Authenticated Data for Adjustable Predicates.

[BibT_eX]

[DOI]

Proceedings of the Applied Cryptography and Network Security, 2013

2012

Security of blind signatures under aborts and applications to adaptive oblivious transfer.

[BibT_eX]

[DOI]

J. Math. Cryptol., 2012

Provably Secure Distance-Bounding: an Analysis of Prominent Protocols.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2012

Unconditionally-Secure Universally Composable Password-Based Key-Exchange based on One-Time Memory Tokens.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2012

Less is More: Relaxed yet Composable Security Notions for Key Exchange.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2012

Domain-Specifi c Pseudonymous Signatures for the German Identity Card.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2012

Merging the Cryptographic Security Analysis and the Algebraic-Logic Security Proof of PACE.

[BibT_eX]

[DOI]

Proceedings of the Sicherheit 2012: Sicherheit, 2012

TLS, PACE, and EAC: ACryptographic View at Modern Key Exchange Protocols.

[BibT_eX]

[DOI]

Christina Brzuska

Proceedings of the Sicherheit 2012: Sicherheit, 2012

History-Free Sequential Aggregate Signatures.

[BibT_eX]

[DOI]

Proceedings of the Security and Cryptography for Networks - 8th International Conference, 2012

Domain-Specific Pseudonymous Signatures for the German Identity Card.

[BibT_eX]

[DOI]

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

The PACE|AA Protocol for Machine Readable Travel Documents, and Its Security.

[BibT_eX]

[DOI]

Proceedings of the Financial Cryptography and Data Security, 2012

Black-Box Reductions and Separations in Cryptography.

[BibT_eX]

[DOI]

Proceedings of the Progress in Cryptology - AFRICACRYPT 2012, 2012

2011

Public-Key Cryptography (Dagstuhl Seminar 11391).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2011

Learning Whom to Trust in a Privacy-Friendly Way.

[BibT_eX]

[DOI]

Proceedings of the IEEE 10th International Conference on Trust, 2011

Breaking reCAPTCHA: A Holistic Approach via Shape Recognition.

[BibT_eX]

[DOI]

Proceedings of the Future Challenges in Security and Privacy for Academia and Industry, 2011

A Formal Approach to Distance-Bounding RFID Protocols.

[BibT_eX]

[DOI]

Proceedings of the Information Security, 14th International Conference, 2011

Secure Set Intersection with Untrusted Hardware Tokens.

[BibT_eX]

[DOI]

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

Expedient Non-malleability Notions for Hash Functions.

[BibT_eX]

[DOI]

Paul Baecher

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

Physically Uncloneable Functions in the Universal Composition Framework.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - CRYPTO 2011, 2011

Random Oracle Reducibility.

[BibT_eX]

[DOI]

Paul Baecher

Proceedings of the Advances in Cryptology - CRYPTO 2011, 2011

Composability of bellare-rogaway key exchange protocols.

[BibT_eX]

[DOI]

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

Non-interactive and Re-usable Universally Composable String Commitments with Adaptive Security.

[BibT_eX]

[DOI]

Benoît Libert

Mark Manulis

Proceedings of the Advances in Cryptology - ASIACRYPT 2011, 2011

Random Oracles in a Quantum World.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - ASIACRYPT 2011, 2011

Relaxed Security Notions for Signatures of Knowledge.

[BibT_eX]

[DOI]

Proceedings of the Applied Cryptography and Network Security, 2011

2010

Random Oracles in a Quantum World

[BibT_eX]

[DOI]

CoRR, 2010

Delayed-Key Message Authentication for Streams.

[BibT_eX]

[DOI]

Proceedings of the Theory of Cryptography, 7th Theory of Cryptography Conference, 2010

CAPTCHAs: The Good, the Bad, and the Ugly.

[BibT_eX]

[DOI]

Proceedings of the Sicherheit 2010: Sicherheit, 2010

History-Free Aggregate Message Authentication Codes.

[BibT_eX]

[DOI]

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

Confidential Signatures and Deterministic Signcryption.

[BibT_eX]

[DOI]

Proceedings of the Public Key Cryptography, 2010

Unlinkability of Sanitizable Signatures.

[BibT_eX]

[DOI]

Proceedings of the Public Key Cryptography, 2010

Security Analysis of the Extended Access Control Protocol for Machine Readable Travel Documents.

[BibT_eX]

[DOI]

Proceedings of the Information Security - 13th International Conference, 2010

On the Impossibility of Three-Move Blind Signature Schemes.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - EUROCRYPT 2010, 29th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Monaco / French Riviera, May 30, 2010

Hash Function Combiners in TLS and SSL.

[BibT_eX]

[DOI]

Daniel Wagner

Proceedings of the Topics in Cryptology, 2010

Random Oracles with(out) Programmability.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology - ASIACRYPT 2010, 2010

Public-Key Encryption with Non-Interactive Opening: New Constructions and Stronger Definitions.

[BibT_eX]

[DOI]

Proceedings of the Progress in Cryptology, 2010

Redactable Signatures for Tree-Structured Data: Definitions and Constructions.

[BibT_eX]

[DOI]

Proceedings of the Applied Cryptography and Network Security, 8th International Conference, 2010

2009

Security of Blind Signatures under Aborts.

[BibT_eX]

[DOI]

Proceedings of the Public Key Cryptography, 2009

Security of Sanitizable Signatures Revisited.

[BibT_eX]

[DOI]

Proceedings of the Public Key Cryptography, 2009

Security Analysis of the PACE Key-Agreement Protocol.

[BibT_eX]

[DOI]

Jens Bender

Dennis Kügler

Proceedings of the Information Security, 12th International Conference, 2009

Santizable Signatures: How to Partially Delegate Control for Authenticated Data.

[BibT_eX]

[DOI]

Proceedings of the BIOSIG 2009, 2009

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

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology, 2009

2008

Multi-property Preserving Combiners for Hash Functions.

[BibT_eX]

[DOI]

Proceedings of the Theory of Cryptography, Fifth Theory of Cryptography Conference, 2008

Robust Multi-property Combiners for Hash Functions Revisited.

[BibT_eX]

[DOI]

Krzysztof Pietrzak

Proceedings of the Automata, Languages and Programming, 35th International Colloquium, 2008

Security of NMACand HMACBased on Non-malleability.

[BibT_eX]

[DOI]

Proceedings of the Topics in Cryptology, 2008

Deterministic Encryption: Definitional Equivalences and Constructions without Random Oracles.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology, 2008

2007

Anonymous Signatures Made Easy.

[BibT_eX]

[DOI]

Proceedings of the Public Key Cryptography, 2007

A Closer Look at PKI: Security and Efficiency.

[BibT_eX]

[DOI]

Proceedings of the Public Key Cryptography, 2007

Security of Invertible Media Authentication Schemes Revisited.

[BibT_eX]

[DOI]

Proceedings of the Information Hiding, 9th International Workshop, 2007

Security-Amplifying Combiners for Collision-Resistant Hash Functions.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology, 2007

2006

Universally Composable Oblivious Transfer in the Multi-party Setting.

[BibT_eX]

[DOI]

Proceedings of the Topics in Cryptology, 2006

Round-Optimal Composable Blind Signatures in the Common Reference String Model.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology, 2006

On the Security of OAEP.

[BibT_eX]

[DOI]

Alexandra Boldyreva

Proceedings of the Advances in Cryptology, 2006

2005

Completely Non-malleable Schemes.

[BibT_eX]

[DOI]

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

Communication-Efficient Non-interactive Proofs of Knowledge with Online Extractors.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology, 2005

Analysis of Random Oracle Instantiation Scenarios for OAEP and Other Practical Schemes.

[BibT_eX]

[DOI]

Alexandra Boldyreva

Proceedings of the Advances in Cryptology, 2005

2004

A Privacy-Friendly Loyalty System Based on Discrete Logarithms over Elliptic Curves.

[BibT_eX]

[DOI]

Matthias Enzmann

Markus Schneider

Proceedings of the Financial Cryptography, 2004

Fast Verification of Hash Chains.

[BibT_eX]

[DOI]

Proceedings of the Topics in Cryptology, 2004

2003

The Cramer-Shoup Strong-RSASignature Scheme Revisited.

[BibT_eX]

[DOI]

Proceedings of the Public Key Cryptography, 2003

Progressive Verification: The Case of Message Authentication: (Extended Abstract).

[BibT_eX]

[DOI]

Proceedings of the Progress in Cryptology, 2003

2002

The Cramer-Shoup Strong-RSA Signature Scheme Revisited.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2002

The Representation Problem Based on Factoring.

[BibT_eX]

[DOI]

Roger Fischlin

Proceedings of the Topics in Cryptology, 2002

On the Impossibility of Constructing Non-interactive Statistically-Secret Protocols from Any Trapdoor One-Way Function.

[BibT_eX]

[DOI]

Proceedings of the Topics in Cryptology, 2002

2001

Trapdoor commitment schemes and their applications.

[BibT_eX]

[DOI]

PhD thesis, 2001

Identification Protocols Secure against Reset Attacks.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology, 2001

A Cost-Effective Pay-Per-Multiplication Comparison Method for Millionaires.

[BibT_eX]

[DOI]

Proceedings of the Topics in Cryptology, 2001

Universally Composable Commitments.

[BibT_eX]

[DOI]

Ran Canetti

Proceedings of the Advances in Cryptology, 2001

2000

Efficient Non-malleable Commitment Schemes.

[BibT_eX]

[DOI]

Roger Fischlin

Proceedings of the Advances in Cryptology, 2000

A Note on Security Proofs in the Generic Model.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology, 2000

1999

Pseudorandom Function Tribe Ensembles Based on One-Way Permutations: Improvements and Applications.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology, 1999

1998

Cryptographic Limitations on Parallelizing Membership and Equivalence Queries with Applications to Random Self-Reductions.

[BibT_eX]

[DOI]

Proceedings of the Algorithmic Learning Theory, 9th International Conference, 1998

1997

Lower Bounds for the Signature Size of Incremental Schemes.

[BibT_eX]

[DOI]

Proceedings of the 38th Annual Symposium on Foundations of Computer Science, 1997

Incremental Cryptography and Memory Checkers.

[BibT_eX]

[DOI]

Proceedings of the Advances in Cryptology, 1997

Practical Memory Checkers for Stacks, Queues and Deques.

[BibT_eX]

[DOI]