Mike Bond

According to our database, Mike Bond authored at least 26 papers between 2001 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2015

Be Prepared: The EMV Preplay Attack.

Mike Bond, Marios O. Choudary, Steven J. Murdoch, Sergei P. Skorobogatov, Ross J. Anderson

IEEE Secur. Priv., 2015

2014

Chip and Skim: Cloning EMV Cards with the Pre-play Attack.

Mike Bond, Omar Choudary, Steven J. Murdoch, Sergei P. Skorobogatov, Ross J. Anderson

Proceedings of the 2014 IEEE Symposium on Security and Privacy, 2014

2012

How Certification Systems Fail: Lessons from the Ware Report.

Steven J. Murdoch, Mike Bond, Ross J. Anderson

IEEE Secur. Priv., 2012

The low-call diet: Authenticated Encryption for call counting HSM users.

Mike Bond, George French, Nigel P. Smart, Gaven J. Watson

IACR Cryptol. ePrint Arch., 2012

Analysis of Security APIs (Dagstuhl Seminar 12482).

Mike Bond, Riccardo Focardi, Sibylle B. Fröschle, Graham Steel

Dagstuhl Reports, 2012

2011

Might Financial Cryptography Kill Financial Innovation? - The Curious Case of EMV.

Ross J. Anderson, Mike Bond, Omar Choudary, Steven J. Murdoch, Frank Stajano

Proceedings of the Financial Cryptography and Data Security, 2011

2010

Caveat venditor.

George French, Mike Bond

Inf. Secur. Tech. Rep., 2010

Chip and PIN is Broken.

Steven J. Murdoch, Saar Drimer, Ross J. Anderson, Mike Bond

Proceedings of the 31st IEEE Symposium on Security and Privacy, 2010

2007

Robbing the Bank with a Theorem Prover - (Abstract).

Paul Youn, Ben Adida, Mike Bond, Jolyon Clulow, Jonathan Herzog, Amerson Lin, Ronald L. Rivest, Ross J. Anderson

Proceedings of the Security Protocols, 2007

Modeling Partial Attacks with Alloy.

Amerson Lin, Mike Bond, Jolyon Clulow

Proceedings of the Security Protocols, 2007

On the Security of the EMV Secure Messaging API (Extended Abstract).

Ben Adida, Mike Bond, Jolyon Clulow, Amerson Lin, Ross J. Anderson, Ronald L. Rivest

Proceedings of the Security Protocols, 2007

Virtual Economies: Threats and Risks.

Christopher Thorpe, Jessica Hammer, L. Jean Camp, Jon Callas, Mike Bond

Proceedings of the Financial Cryptography and Data Security, 2007

Leaving Room for the Bad Guys.

Mike Bond

Proceedings of the Financial Cryptography and Data Security, 2007

2006

Cryptographic Processors-A Survey.

Ross J. Anderson, Mike Bond, Jolyon Clulow, Sergei P. Skorobogatov

Proc. IEEE, 2006

Integrity of intention (a theory of types for security APIs).

Mike Bond, Jolyon Clulow

Inf. Secur. Tech. Rep., 2006

Phish and Chips.

Mike Bond

Proceedings of the Security Protocols, 2006

The Man-in-the-Middle Defence.

Ross J. Anderson, Mike Bond

Proceedings of the Security Protocols, 2006

Phish and Chips.

Ben Adida, Mike Bond, Jolyon Clulow, Amerson Lin, Steven J. Murdoch, Ross J. Anderson, Ronald L. Rivest

Proceedings of the Security Protocols, 2006

A pact with the devil.

Mike Bond, George Danezis

Proceedings of the New Security Paradigms Workshop 2006, 2006

2005

The Dining Freemasons (Security Protocols for Secret Societies).

Mike Bond, George Danezis

Proceedings of the Security Protocols, 2005

The Dining Freemasons (Security Protocols for Secret Societies).

Mike Bond

Proceedings of the Security Protocols, 2005

2004

Extending Security Protocol Analysis: New Challenges.

Mike Bond, Jolyon Clulow

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

Encrypted? Randomised? Compromised? (When Cryptographically Secured Data is Not Secure).

Mike Bond, Jolyon Clulow

Proceedings of the Cryptographic Algorithms and their Uses, 2004

2002

Experience Using a Low-Cost FPGA Design to Crack DES Keys.

Richard Clayton, Mike Bond

Proceedings of the Cryptographic Hardware and Embedded Systems, 2002

2001

API-Level Attacks on Embedded Systems.

Mike Bond, Ross J. Anderson

Computer, 2001

Attacks on Cryptoprocessor Transaction Sets.

Mike Bond

Proceedings of the Cryptographic Hardware and Embedded Systems, 2001