Hacker News new | ask | show | jobs
Casper: A Compiler for the Analysis of Security Protocols (cs.ox.ac.uk)
2 points by adilparvez 3514 days ago