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

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.