TP6a.4

From Synthesized Contracts to Verified Code In CompCert

Léopold Clément, Dorian Bourgeoisat, Ulrich Kühne, Florian Brandner, Renaud Pacalet, Télécom Paris, France
Session:
TP6a: Security-Aware Architectures for Embedded Systems Against Side-Channel Attacks Lecture
Track:
Architectures and Implementation
Location:
Room 6
Presentation Time:
Tue, 27 Oct, 14:45 - 15:10 PT (UTC -7)
Session Chair:
Maria Mushtaq, Télécom Paris, France
Presentation
Discussion
Resources
No resources available.
Session TP6a
TP6a.1: No One-Size-Fits-All: Choosing the Right Detection for Cache Side-Channel Attacks
Tara Ghasempouri, Ali Azarpeyvand, Ameer Shalabi, Jaan Raik, Tallinn University of Technology, Estonia
TP6a.2: Toward Simulator-Grounded Evaluation of ARM TrustZone against Side-Channels: A Cross-Platform Fidelity Study
Nathanaël Simon, Gaétan Bois--Baumann, Maria Mushtaq, Ludovic Apvrille, Télécom Paris, France
TP6a.3: DUMMISS: A Hardware Countermeasure Faking Cache Evictions to Mitigate Cache-Based Side Channel Attacks
Jorge Andres HOYOS RAMIREZ, Jose Abraham BERNAL GUTIERREZ, Brice COLOMBIER, Laboratoire Hubert Curien, France; Yuko HARA, Centre National de la Recherche Scientifique, France; Lilian BOSSUET, Laboratoire Hubert Curien, France
TP6a.4: From Synthesized Contracts to Verified Code In CompCert
Léopold Clément, Dorian Bourgeoisat, Ulrich Kühne, Florian Brandner, Renaud Pacalet, Télécom Paris, France
Contacts