SILM Seminar

Organized by

Supported by

Ongoing season: Season 2

Episode 6:

Maria Mendez Real (Université de Nantes): Security vulnerabilities of energy management systems - -

Episode 5:

Alasdair Armstrong (University of Cambridge): Isla: Axiomatic Concurrency Semantics for ARMv8-A and RISC-V using Sail - -
Thomas Bourgeat (MIT CSAIL): Rule-based hardware design languages and formal methods - -
Satnam Singh (Google Research): Hardware Design and Verification with Cava - -

Episode 4:

Vasileios P. Kemerlis (Brown University): Protecting Commodity Software against Data-only Attacks using Hardware-assisted Virtualization - -

Episode 3:

Pierre Olivier (University of Manchester): Exploring Multi-ISA and Emerging Isolation Technologies for Systems Software Security - -
Nathan Dautenhanh (Rice University): Micro-Evolving Monolithic Systems with the Nested Kernel Architecture - -

Episode 2:

Robert Buhren (TU Berlin): Taking apart AMD's root-of-trust: Reverse engineering the AMD Secure Processor - -
Leila Delshadtehrani (Boston University): Improving security through a programmable hardware monitor - -

Episode 1:

Olivier Savry (CEA-Leti): Processeur intrinsèquement sécurisé par le chiffrement authentifié des données et des instructions - -