Advances in Computer Aided Cryptography

Explore advances in computer-aided cryptography through an invited talk delivered by Gilles Barthe from IMDEA Software Institute, Spain at Eurocrypt 2017. Delve into the potential benefits and long-term goals of this field, examining tools like EasyCrypt and their progress. Investigate concepts such as decoupling, coupling, and proof rules, along with automation techniques. Learn about NAEP and its automated proof, and discover insights into compiler verification. Examine differential power analysis, including two models, mask implementation, probing security, and probabilistic non-interference. Discuss the challenges of full implementation, problems with composition, and the concept of strong non-interference in this comprehensive overview of computer-aided cryptography advancements.