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

Peeling the Onion's User Experience Layer - Examining Naturalistic Use of the Tor Browser
Association for Computing Machinery (ACM) via YouTube DeepCorr - Strong Flow Correlation Attacks on Tor Using Deep Learning
Association for Computing Machinery (ACM) via YouTube SandScout - Automatic Detection of Flaws in iOS Sandbox Profiles
Association for Computing Machinery (ACM) via YouTube Game of Decoys - Optimal Decoy Routing Through Game Theory
Association for Computing Machinery (ACM) via YouTube PREDATOR - Proactive Recognition and Elimination of Domain Abuse at Time-Of-Registration
Association for Computing Machinery (ACM) via YouTube