Strong Non-Interference and Type-Directed Higher-Order Masking
Association for Computing Machinery (ACM) via YouTube
AI, Data Science & Cloud Certificates from Google, IBM & Meta
Launch Your Cybersecurity Career in 6 Months
Overview
Google, IBM & Meta Certificates – 40% Off
One plan covers every Professional Certificate on Coursera.
Unlock All Certificates
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