Mike Bond

Publication Activity (10 Years)

Years Active: 2001-2015
Publications (10 Years): 0

Top Topics

Payment Systems

Comprehensive Analysis

Security Mechanisms

Top Venues

IEEE Secur. Priv.

IEEE Symposium on Security and Privacy

IACR Cryptol. ePrint Arch.

Publications

Mike Bond, Marios O. Choudary, Steven J. Murdoch, Sergei P. Skorobogatov, Ross J. Anderson
Be Prepared: The EMV Preplay Attack. IEEE Secur. Priv. 13 (2) (2015)
Mike Bond, Omar Choudary, Steven J. Murdoch, Sergei P. Skorobogatov, Ross J. Anderson
Chip and Skim: Cloning EMV Cards with the Pre-play Attack. IEEE Symposium on Security and Privacy (2014)
Mike Bond, George French, Nigel P. Smart, Gaven J. Watson
The Low-Call Diet: Authenticated Encryption for Call Counting HSM Users. CT-RSA (2013)
Steven J. Murdoch, Mike Bond, Ross J. Anderson
How Certification Systems Fail: Lessons from the Ware Report. IEEE Secur. Priv. 10 (6) (2012)
Mike Bond, Omar Choudary, Steven J. Murdoch, Sergei P. Skorobogatov, Ross J. Anderson
Chip and Skim: cloning EMV cards with the pre-play attack CoRR (2012)
Mike Bond, Riccardo Focardi, Sibylle B. Fröschle, Graham Steel
Analysis of Security APIs (Dagstuhl Seminar 12482). Dagstuhl Reports 2 (11) (2012)
Mike Bond, George French, Nigel P. Smart, Gaven J. Watson
The low-call diet: Authenticated Encryption for call counting HSM users. IACR Cryptol. ePrint Arch. 2012 (2012)
Ross J. Anderson, Mike Bond, Omar Choudary, Steven J. Murdoch, Frank Stajano
Might Financial Cryptography Kill Financial Innovation? - The Curious Case of EMV. Financial Cryptography (2011)
Steven J. Murdoch, Saar Drimer, Ross J. Anderson, Mike Bond
Chip and PIN is Broken. IEEE Symposium on Security and Privacy (2010)
George French, Mike Bond
Caveat venditor. Inf. Secur. Tech. Rep. 15 (1) (2010)
Amerson Lin, Mike Bond, Jolyon Clulow
Modeling Partial Attacks with Alloy. Security Protocols Workshop (2007)
Mike Bond
Leaving Room for the Bad Guys. Financial Cryptography (2007)
Ben Adida, Mike Bond, Jolyon Clulow, Amerson Lin, Ross J. Anderson, Ronald L. Rivest
On the Security of the EMV Secure Messaging API (Extended Abstract). Security Protocols Workshop (2007)
Christopher Thorpe, Jessica Hammer, L. Jean Camp, Jon Callas, Mike Bond
Virtual Economies: Threats and Risks. Financial Cryptography (2007)
Paul Youn, Ben Adida, Mike Bond, Jolyon Clulow, Jonathan Herzog, Amerson Lin, Ronald L. Rivest, Ross J. Anderson
Robbing the Bank with a Theorem Prover - (Abstract). Security Protocols Workshop (2007)
Ross J. Anderson, Mike Bond
The Man-in-the-Middle Defence. Security Protocols Workshop (2006)
Ross J. Anderson, Mike Bond, Jolyon Clulow, Sergei P. Skorobogatov
Cryptographic Processors-A Survey. Proc. IEEE 94 (2) (2006)
Mike Bond, Jolyon Clulow
Integrity of intention (a theory of types for security APIs). Inf. Secur. Tech. Rep. 11 (2) (2006)
Mike Bond, George Danezis
A pact with the devil. NSPW (2006)
Mike Bond
Phish and Chips. Security Protocols Workshop (2006)
Ben Adida, Mike Bond, Jolyon Clulow, Amerson Lin, Steven J. Murdoch, Ross J. Anderson, Ronald L. Rivest
Phish and Chips. Security Protocols Workshop (2006)
Mike Bond, Jolyon Clulow
Extending Security Protocol Analysis: New Challenges. Electron. Notes Theor. Comput. Sci. 125 (1) (2005)
Mike Bond, George Danezis
The Dining Freemasons (Security Protocols for Secret Societies). Security Protocols Workshop (2005)
Mike Bond
The Dining Freemasons (Security Protocols for Secret Societies). Security Protocols Workshop (2005)
Mike Bond, Jolyon Clulow
Encrypted? Randomised? Compromised? (When Cryptographically Secured Data is Not Secure). Cryptographic Algorithms and their Uses (2004)
Richard Clayton, Mike Bond
Experience Using a Low-Cost FPGA Design to Crack DES Keys. CHES (2002)
Mike Bond, Ross J. Anderson
API-Level Attacks on Embedded Systems. Computer 34 (10) (2001)
Mike Bond
Attacks on Cryptoprocessor Transaction Sets. CHES (2001)