Really nice summary of several strains of work about PL, Crypto, and security. --Mitch http://www.pl-enthusiast.net/2014/12/23/formal-reasoning-pl-crypto/ -------------- next part -------------- HTML attachment scrubbed and removed