Amerson Lin

Publication Activity (10 Years)

Years Active: 2005-2007
Publications (10 Years): 0

Publications

Amerson Lin, Mike Bond, Jolyon Clulow
Modeling Partial Attacks with Alloy. Security Protocols Workshop (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)
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)
Amerson Lin
Modeling Partial Attacks with Alloy (Transcript of Discussion). Security Protocols Workshop (2007)
Ben Adida, Mike Bond, Jolyon Clulow, Amerson Lin, Steven J. Murdoch, Ross J. Anderson, Ronald L. Rivest
Phish and Chips. Security Protocols Workshop (2006)
Michael Stonebraker, Daniel J. Abadi, Adam Batkin, Xuedong Chen, Mitch Cherniack, Miguel Ferreira, Edmond Lau, Amerson Lin, Samuel Madden, Elizabeth J. O'Neil, Patrick E. O'Neil, Alex Rasin, Nga Tran, Stanley B. Zdonik
C-Store: A Column-oriented DBMS. VLDB (2005)