Lecture: Security: Certified Crypto

Date: 3/29/17

Reading

• Required reading: Certified Computer-Aided Cryptography: Efficient Provably Secure Machine Code from High-Level Implementations, Jose Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Francois Dupressoir, ACM CCS, 2013.