Amerson Lin

Phish and Chips Traditional and New Recipes for Attacking EMV

Mike Bond, Jolyon Clulow, Steven J. Murdoch, 2006 .

C-Store: A Column-oriented DBMS

Michael Stonebraker, Stanley B. Zdonik, Xuedong Chen, 2005, VLDB.

Phish and Chips

Mike Bond, Jolyon Clulow, Steven J. Murdoch, 2009, Security Protocols Workshop.

Robbing the Bank with a Theorem Prover - (Abstract)

Mike Bond, Jolyon Clulow, Ronald L. Rivest, 2007, Security Protocols Workshop.

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

Mike Bond, Jolyon Clulow, Ronald L. Rivest, 2007, Security Protocols Workshop.

Modeling Partial Attacks with Alloy (Transcript of Discussion)

Amerson Lin, 2007, Security Protocols Workshop.

Modeling Partial Attacks with Alloy

Mike Bond, Jolyon Clulow, Amerson Lin, 2007, Security Protocols Workshop.