TP6a: Security-Aware Architectures for Embedded Systems Against Side-Channel Attacks
Tue, 27 Oct, 13:30 - 15:10 PT (UTC -7)
Location: Room 6
Session Type: Lecture
Session Chair: Maria Mushtaq, Télécom Paris, France
Track: Architectures and Implementation
Tue, 27 Oct, 13:30 - 13:55 PT (UTC -7)

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
Tue, 27 Oct, 13:55 - 14:20 PT (UTC -7)

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
Tue, 27 Oct, 14:20 - 14:45 PT (UTC -7)

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
Tue, 27 Oct, 14:45 - 15:10 PT (UTC -7)

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