Secure hardware design

CS-447 / 6 crédits

Enseignant:

Langue: Anglais

Remark: Pas donné en 2025-26. This course is a "depth" for Cyber Security master program and Cyber Security minor.

Summary

This class will help you understand the critical security problems in modern hardware and the limitations of existing mitigations.

Content

Through a mix of lectures grounded in recent research papers, and labs reproducing these recent vulnerabilities, the class will teach the principles of microarchitectural attacks, and the state of the art of both deployed mitigations and academic hardware/software defense proposals.

  • Side Channel
  • Transient Excecution Side Channels
  • Transient Execution Side-channel Mitigations
  • Hardware Support for Software Security
  • Hardware-Software Contracts
  • Trusted Execution Environments (TEEs)
  • Constant-time and speculative constant time cryptographic code
  • Formal Verification for Hardware Security

Learning Prerequisites

Required courses

CS-200 Computer Archtecture

CS-202 Computer Systems

COM-301 Computer Security and Privacy

 

Recommended courses

MATH-232 Probability and statistics

CS-470 Advanced Computer Architecture

Important concepts to start the course

Pipelining, caches, branch prediction, assembly language, probability, expectation, variance

Learning Outcomes

By the end of the course, the student must be able to:

  • Understand the fundamentals of the hardware attacks
  • Reproduce them, and know about the bast practice to mitigate them and the impact of these attacks on real systems

Teaching methods

Ex cathedra

Expected student activities

Labs (indivual), final project (per group)

Assessment methods

Presentation, written reports

Supervision

Office hours Yes
Assistants Yes

Resources

Moodle Link

Dans les plans d'études

  • Semestre: Printemps
  • Forme de l'examen: Pendant le semestre (session d'été)
  • Matière examinée: Secure hardware design
  • Cours: 2 Heure(s) hebdo x 14 semaines
  • Projet: 4 Heure(s) hebdo x 14 semaines
  • Type: optionnel
  • Semestre: Printemps
  • Forme de l'examen: Pendant le semestre (session d'été)
  • Matière examinée: Secure hardware design
  • Cours: 2 Heure(s) hebdo x 14 semaines
  • Projet: 4 Heure(s) hebdo x 14 semaines
  • Type: optionnel
  • Semestre: Printemps
  • Forme de l'examen: Pendant le semestre (session d'été)
  • Matière examinée: Secure hardware design
  • Cours: 2 Heure(s) hebdo x 14 semaines
  • Projet: 4 Heure(s) hebdo x 14 semaines
  • Type: optionnel
  • Semestre: Printemps
  • Forme de l'examen: Pendant le semestre (session d'été)
  • Matière examinée: Secure hardware design
  • Cours: 2 Heure(s) hebdo x 14 semaines
  • Projet: 4 Heure(s) hebdo x 14 semaines
  • Type: optionnel
  • Semestre: Printemps
  • Forme de l'examen: Pendant le semestre (session d'été)
  • Matière examinée: Secure hardware design
  • Cours: 2 Heure(s) hebdo x 14 semaines
  • Projet: 4 Heure(s) hebdo x 14 semaines
  • Type: optionnel
  • Semestre: Printemps
  • Forme de l'examen: Pendant le semestre (session d'été)
  • Matière examinée: Secure hardware design
  • Cours: 2 Heure(s) hebdo x 14 semaines
  • Projet: 4 Heure(s) hebdo x 14 semaines
  • Type: optionnel
  • Semestre: Printemps
  • Forme de l'examen: Pendant le semestre (session d'été)
  • Matière examinée: Secure hardware design
  • Cours: 2 Heure(s) hebdo x 14 semaines
  • Projet: 4 Heure(s) hebdo x 14 semaines
  • Type: optionnel

Semaine de référence

Cours connexes

Résultats de graphsearch.epfl.ch.