C-Store: A Column-oriented DBMS. - Michael Stonebraker; Daniel J. Abadi; Adam Batkin; Xuedong Chen; Mitch Cherniack; Miguel Ferreira; Edmond Lau; Amerson Lin; Samuel Madden 001; Elizabeth J. O'Neil; Patrick E. O'Neil; Alex Rasin; et al. (VLDB, 2005)

Phish and Chips. - Ben Adida; Mike Bond; Jolyon Clulow; Amerson Lin; Steven J. Murdoch; Ross J. Anderson; Ronald L. Rivest (Security Protocols Workshop, 2006)

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 (Security Protocols Workshop, 2007)

Modeling Partial Attacks with Alloy (Transcript of Discussion). - Amerson Lin (Security Protocols Workshop, 2007)

Modeling Partial Attacks with Alloy. - Amerson Lin; Mike Bond; Jolyon Clulow (Security Protocols Workshop, 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 (Security Protocols Workshop, 2007)

C-store: a column-oriented DBMS. - Mike Stonebraker; Daniel J. Abadi; Adam Batkin; Xuedong Chen; Mitch Cherniack; Miguel Ferreira; Edmond Lau; Amerson Lin; Sam Madden 001; Elizabeth J. O'Neil; Patrick E. O'Neil; Alex Rasin; et al. (Making Databases Work, 2019)