Sok Computer Aided Cryptography - Detailed Analysis
Invited talk by Gilles Barthe (IMDEA Software Institute, Spain) at Eurocrypt 2017. Recently. we've seen a flurry of work in this space which motivated this Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, and Santiago Zanella Béguelin IMDEA Software Institute, Madrid, Spain; INRIA ...
Photo Gallery


















