Week: November 5th | Software Security | UFRIM²AG : Moodle

Section outline

Lecture 6 : timing attacks (non-interference, constant-time programming), (some slides, and some others from E. Poll)

some exercises

Reading suggestions

Lecture notes from E. Poll Language-Based Security (chapter 4 and 5)

A beginner's guide to constant-time cryptography

Intel Guidelines for Mitigating Timing Side Channels Against Cryptographic Implementation
- Select activity Correction for the exercises on information-flow and sandboxing
  
  Correction for the exercises on information-flow and sandboxing File
- Select activity Lecture notes on language based security (from E. Poll)
  
  Lecture notes on language based security (from E. Poll) File