Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations

Publication
2013 ACM SIGSAC Conference on Computer & Communications Security