A CompCert backend with symbolic encryption (PriSC 2022)

Sun 16 - Fri 28 January 2022 Philadelphia, Pennsylvania, United States

Who

Paolo Torrini, Sylvain Boulmé

Track

PriSC 2022

Time Zone

The program is currently displayed in (GMT-05:00) Eastern Time (US & Canada).

Use conference time zone: (GMT-05:00) Eastern Time (US & Canada)Select 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 22 Jan 2022 16:40 - 17:05 at Independence - Secure systems Chair(s): Marco Guarnieri

Abstract

Binary encryption can be used to strengthen a verified compilation toolchain, in order to protect executable code from malware attacks. We present IntrinSec, a C backend that extends RISC-V with binary encryption and our work on its formalization and verification as a CompCert backend.

File attachments

A CompCert backend with symbolic encryption (prisc22_revised.pdf)	324KiB
A CompCert Backend with Symbolic Encryption (slides, revised) (prisc_slides1.pdf)	113KiB

Paolo Torrini

INRIA

Sylvain Boulmé

Grenoble Alps University / CNRS / Grenoble INP / VERIMAG