YoVDO

Strong Non-Interference and Type-Directed Higher-Order Masking

Offered By: Association for Computing Machinery (ACM) via YouTube

Tags

ACM CCS (Computer and Communications Security) Courses Cryptography Courses

Course Description

Overview

Explore a comprehensive conference talk from CCS 2016 focusing on strong non-interference and type-directed higher-order masking in cryptographic implementations. Delve into the concepts of differential power analysis, masking techniques, and probing security within a noiseless leakage model. Examine the intricacies of composition and strong non-interference, followed by an in-depth look at masking transformation and its results. Gain valuable insights from experts in the field as they present their research on enhancing the security of cryptographic systems against side-channel attacks.

Syllabus

Intro
Differential Power Analysis
Masking
How does it work
Probing Security
Noiseless Leakage Model
Composition
Example
Strong NonInterference
Masking Transformation
Results
Conclusion


Taught by

ACM CCS

Related Courses

Applied Cryptography
University of Virginia via Udacity Cryptography II
Stanford University via Coursera Coding the Matrix: Linear Algebra through Computer Science Applications
Brown University via Coursera Cryptography I
Stanford University via Coursera Unpredictable? Randomness, Chance and Free Will
National University of Singapore via Coursera