SPLASH 2023
Sun 22 - Fri 27 October 2023 Cascais, Portugal
Sun 22 Oct 2023 16:00 - 16:30 at Oceanus - Session 4 Chair(s): Santiago Escobar

Constant-time is a programming discipline which protects cryptographic code against a wide class of timing attacks. This discipline can be formalised as a non-interference property and enforced by an information flow type system which prevents branching and memory accesses over secret data. We propose a relaxed information flow type system which tracks indirect flows but only rejects programs leaking secrets through direct flows. The main result of this paper is that any program that is accepted using this relaxed type system can be transformed automatically into a semantically equivalent constant-time program. Our algorithms are implemented in the jasmin compiler and validated against representative programs.

Sun 22 Oct

Displayed time zone: Lisbon change

16:00 - 17:30
Session 4PPDP at Oceanus
Chair(s): Santiago Escobar
16:00
30m
Paper
Type-directed Program Transformation for Constant-Time Enforcement
PPDP
16:30
30m
Paper
Data-Dependent Confidentiality in DCR Graphs
PPDP
Eduardo Geraldo , João Costa Seco NOVA-LINCS; Nova University of Lisbon, Thomas T. Hildebrandt University of Copenhagen
17:00
30m
Break
---
PPDP