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