SILM Seminar
Season 2
Season 1
Live
About
Organized by
Supported by
Ongoing season: Season 2
Copy link for network calendar in clipboard
Add/update all talks in calendar (ics)
Episode 6:
Maria Mendez Real
(Université de Nantes):
Security vulnerabilities of energy management systems
-
-
Add talk to calendar
Daniel Moghimi
(UCSD):
CANCELLED
-
-
Add talk to calendar
Episode 5:
Alasdair Armstrong
(University of Cambridge):
Isla: Axiomatic Concurrency Semantics for ARMv8-A and RISC-V using Sail
-
-
Add talk to calendar
Thomas Bourgeat
(MIT CSAIL):
Rule-based hardware design languages and formal methods
-
-
Add talk to calendar
Satnam Singh
(Google Research):
Hardware Design and Verification with Cava
-
-
Add talk to calendar
Episode 4:
Vasileios P. Kemerlis
(Brown University):
Protecting Commodity Software against Data-only Attacks using Hardware-assisted Virtualization
-
-
Add talk to calendar
Episode 3:
Pierre Olivier
(University of Manchester):
Exploring Multi-ISA and Emerging Isolation Technologies for Systems Software Security
-
-
Add talk to calendar
Nathan Dautenhanh
(Rice University):
Micro-Evolving Monolithic Systems with the Nested Kernel Architecture
-
-
Add talk to calendar
Episode 2:
Robert Buhren
(TU Berlin):
Taking apart AMD's root-of-trust: Reverse engineering the AMD Secure Processor
-
-
Add talk to calendar
Leila Delshadtehrani
(Boston University):
Improving security through a programmable hardware monitor
-
-
Add talk to calendar
Episode 1:
Olivier Savry
(CEA-Leti):
Processeur intrinsèquement sécurisé par le chiffrement authentifié des données et des instructions
-
-
Add talk to calendar