Compiler Support for Control-Flow Linearization Using Architectural Mimicry (PriSC 2024)

Sun 14 - Sat 20 January 2024 London, United Kingdom

Who

Daan Vanoverloop, Hans Winderix, Lesly-Ann Daniel, Frank Piessens

Track

PriSC 2024

Time Zone

The program is currently displayed in (GMT) London.

Use conference time zone: (GMT) LondonSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

When

Sat 20 Jan 2024 14:00 - 14:22 at Turing Lecture - Session 3 Chair(s): Matteo Busi

Abstract

Architectural Mimicry (AMi) is a novel ISA extension that provides hardware support for hardening against software-based side-channel attacks where secret branch conditions are leaked through control-flow. This work extends AMi programming models to support more control-flow linearization patterns, and implements this in the LLVM compiler.

File attachments

(ami-compiler.pdf)	349KiB
slides (ami-compiler-prisc.pdf)	161KiB

Daan Vanoverloop

KU Leuven

Hans Winderix

KU Leuven

Lesly-Ann Daniel

Frank Piessens

KU Leuven

Time Zone

The program is currently displayed in (GMT) London.

Use conference time zone: (GMT) LondonSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

Display full programSpecify a time band

Save

Session Program

Sat 20 Jan
Displayed time zone: London change

14:00 - 15:30	Session 3PriSC at Turing Lecture Chair(s): Matteo Busi University Ca' Foscari, Venice

14:00 22m Talk		Compiler Support for Control-Flow Linearization Using Architectural Mimicry PriSC Daan Vanoverloop KU Leuven, Hans Winderix KU Leuven, Lesly-Ann Daniel , Frank Piessens KU Leuven File Attached
14:22 22m Talk		Modularizing CPU Semantics for Virtualization PriSC Paolo G. Giarrusso BedRock Systems, Abhishek Anand BedRock Systems, Gregory Malecha BedRock Systems, František Farka BedRock Systems, Hoang-Hai Dang BedRock Systems File Attached
14:45 22m Talk		All the Binaries Together: A Semantic Approach to Application Binary Interfaces PriSC Andrew Wagner Northeastern University, Amal Ahmed Northeastern University, USA File Attached
15:07 22m Talk		Short Talks PriSC