Write a Blog >>
Sat 25 Jan 2020 11:42 - 12:06 at Rosalie - Foundations and timing channels Chair(s): Marco Vassena

We describe the reversible programming language Hermes, which is designed for implementing encryption algorithms while eliminating certain classes of side-channels. Specifically, every program written in Hermes is reversible: It can run equally well forwards and backwards. This means that you only write the encryption algorithm and get the decryption algorithm for free. Additionally, Hermes ensures that all variables are cleared after use, thus avoiding state information leakage and the language features a type system with secret and public types that ensures that code written in Hermes is both information flow secure and resistant to timing side channel attacks.

Hermes preprint (hermes.pdf)408KiB

Sat 25 Jan

Displayed time zone: Saskatchewan, Central America change

10:30 - 12:30
Foundations and timing channelsPriSC at Rosalie
Chair(s): Marco Vassena CISPA Helmholtz Center for Information Security
10:30
24m
Talk
Exorcising Spectres with Secure Compilers
PriSC
Marco Patrignani Stanford University & CISPA , Marco Guarnieri IMDEA Software Institute
Media Attached File Attached
10:54
24m
Talk
Trace-Relating Compiler Correctness and Secure Compilation
PriSC
Carmine Abate Inria Paris, Roberto Blanco Inria, Stefan Ciobaca Alexandru Ioan Cuza University of Iasi, Deepak Garg Max Planck Institute for Software Systems, Cătălin Hriţcu Inria Paris, Marco Patrignani Stanford University & CISPA , Éric Tanter University of Chile, Jérémy Thibault Inria Paris
Media Attached File Attached
11:18
24m
Talk
Reconciling progress-insensitive noninterference and declassification
PriSC
Johan Bay Aarhus University, Aslan Askarov Aarhus University
Media Attached File Attached
11:42
24m
Talk
Hermes: Implementing Cryptography without Side-channels
PriSC
Ken Friis Larsen DIKU, University of Copenhagen, Torben Mogensen DIKU, University of Copenhagen, Michael Kirkedal Thomsen DIKU, University of Copenhagen
File Attached
12:06
24m
Talk
A CompCert Compiler that Preserves Cryptographic Constant-time
PriSC
Sandrine Blazy Univ Rennes- IRISA, Rémi Hutin IRISA / ENS Rennes, David Pichardie Univ Rennes, ENS Rennes, IRISA
Media Attached