Casper: A Compiler for the Analysis of Security Protocols #1 Post by adilparvez » Fri, Nov 04, 2016, 7:24 PM UTC Casper: A Compiler for the Analysis of Security Protocolscs.ox.ac.uk