YoVDO

Advances in Computer Aided Cryptography

Offered By: TheIACR via YouTube

Tags

Conference Talks Courses Software Security Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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.

Syllabus

Introduction
Welcome
Computeraided cryptography
Potential benefits
Long term goal
Tools
EasyCrypt
Progress Decoupling
Is coupling useful
Decoupling
Proof rule
Automation
Two tools
NAEP
Automated proof
A funny story
Compiler verification
Differential power analysis
Two models
Mask implementation
probing security
probabilistic noninterference
full implementation
problem with composition
strong noninterference
wrap up


Taught by

TheIACR

Related Courses

Building Geospatial Apps on Postgres, PostGIS, & Citus at Large Scale
Microsoft via YouTube
Unlocking the Power of ML for Your JavaScript Applications with TensorFlow.js
TensorFlow via YouTube
Managing the Reactive World with RxJava - Jake Wharton
ChariotSolutions via YouTube
What's New in Grails 2.0
ChariotSolutions via YouTube
Performance Analysis of Apache Spark and Presto in Cloud Environments
Databricks via YouTube