Paul Youn

Publication Activity (10 Years)

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

Publications

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)