Invited talk: Advances in computer aided cryptography
Channel: IACR
Date: 2017-09-12

Invited talk by  Gilles Barthe (IMDEA Software Institute, Spain) at Eurocrypt 2017.