Graham Steel

Proceedings of the Security Standardisation Research - Third International Conference, 2016

APDU-Level Attacks in PKCS#11 Devices.

[BibT_eX]

[DOI]

Proceedings of the Research in Attacks, Intrusions, and Defenses, 2016

2015

Automated Proof and Flaw-Finding Tools in Cryptography.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2015

Getting to know your Card: Reverse-Engineering the Smart-Card Application Protocol Data Unit.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual Computer Security Applications Conference, 2015

2014

A generic security API for symmetric key management on cryptographic devices.

[BibT_eX]

[DOI]

Inf. Comput., 2014

A Secure Key Management Interface with Asymmetric Cryptography.

[BibT_eX]

[DOI]

Marion Daubignard

David Lubicz

Proceedings of the Principles of Security and Trust - Third International Conference, 2014

2012

Universally Composable Key-Management.

[BibT_eX]

[DOI]

Robert Künnemann

IACR Cryptol. ePrint Arch., 2012

Efficient Padding Oracle Attacks on Cryptographic Hardware.

[BibT_eX]

[DOI]

IACR Cryptol. ePrint Arch., 2012

Analysis of Security APIs (Dagstuhl Seminar 12482).

[BibT_eX]

[DOI]

Dagstuhl Reports, 2012

YubiSecure? Formal Security Analysis Results for the Yubikey and YubiHSM.

[BibT_eX]

[DOI]

Robert Künnemann

Proceedings of the Security and Trust Management - 8th International Workshop, 2012

Revoke and let live: a secure key revocation api for cryptographic devices.

[BibT_eX]

[DOI]

Cyrille Wiedling

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

2011

Formal Analysis of Security APIs.

[BibT_eX]

[DOI]

Proceedings of the Encyclopedia of Cryptography and Security, 2nd Ed., 2011

Formal Analysis of Privacy for Anonymous Location Based Services.

[BibT_eX]

[DOI]

Morten Dahl

Proceedings of the Theory of Security and Applications - Joint Workshop, 2011

An Introduction to Security API Analysis.

[BibT_eX]

[DOI]

Riccardo Focardi

Flaminia L. Luccio

Proceedings of the Foundations of Security Analysis and Design VI, 2011

Security for Key Management Interfaces.

[BibT_eX]

[DOI]

Bogdan Warinschi

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

Formal Analysis of Protocols Based on TPM State Registers.

[BibT_eX]

[DOI]

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

Mathematical and Algorithmic Foundations of the Internet.

[BibT_eX]

[DOI]

Fabrizio Luccio

Linda Pagli

Chapman and Hall / CRC Applied Algorithms and Data Structures Series, CRC Press, ISBN: 978-1-4398-3138-0, 2011

2010

Formal security analysis of PKCS#11 and proprietary extensions.

[BibT_eX]

[DOI]

J. Comput. Secur., 2010

A Formal Analysis of Authentication in the TPM.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Security and Trust - 7th International Workshop, 2010

Formal Analysis of Privacy for Vehicular Mix-Zones.

[BibT_eX]

[DOI]

Morten Dahl

Proceedings of the Computer Security, 2010

Attacking and fixing PKCS#11 security tokens.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010

2009

Blunting Differential Attacks on PIN Processing APIs.

[BibT_eX]

[DOI]

Riccardo Focardi

Flaminia L. Luccio

Proceedings of the Identity and Privacy in the Internet Age, 2009

Towards a Type System for Security APIs.

[BibT_eX]

[DOI]

Gavin Keighren

David Aspinall

Proceedings of the Foundations and Applications of Security Analysis, 2009

Analysing PKCS#11 Key Management APIs with Unbounded Fresh Data.

[BibT_eX]

[DOI]

Sibylle B. Fröschle

Proceedings of the Foundations and Applications of Security Analysis, 2009

Type-Based Analysis of PIN Processing APIs.

[BibT_eX]

[DOI]

Proceedings of the Computer Security, 2009

2008

Formal Analysis of PKCS#11.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE Computer Security Foundations Symposium, 2008

2007

Automatic Analysis of the Security of XOR-Based Key Management Schemes.

[BibT_eX]

[DOI]

Gavin Keighren

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

A Formal Theory of Key Conjuring.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE Computer Security Foundations Symposium, 2007

2006

Formal analysis of PIN block attacks.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2006

Attacking Group Protocols by Refuting Incorrect Inductive Conjectures.

[BibT_eX]

[DOI]

Alan Bundy

J. Autom. Reason., 2006

2005

The Importance of Non-theorems and Counterexamples in Program Verification.

[BibT_eX]

[DOI]

Proceedings of the Verified Software: Theories, 2005

Deduction with XOR Constraints in Security API Modelling.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 2005

2004

Discovering security protocol attacks by refuting incorrect inductive conjectures.

[BibT_eX]

[DOI]

PhD thesis, 2004

Attacking Group Multicast Key Management Protocols Using Coral.

[BibT_eX]

[DOI]

Alan Bundy

Proceedings of the Workshop on Automated Reasoning for Security Protocol Analysis, 2004

Attacking a Protocol for Group Key Agreement by Refuting Incorrect Inductive Conjectures.

[BibT_eX]

[DOI]