Cryptol: specification, implementation and verification of high-grade cryptographic applications.

Jeff Lewis

Browse the full CCS paper archive.