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.

Sat 25 Jan
Times are displayed in time zone: (GMT-06:00) Saskatchewan, Central America change

10:30 - 12:30: Principles of Secure Compilation 2020 - Foundations and timing channels at Rosalie
Chair(s): Marco VassenaCISPA Helmholtz Center for Information Security
prisc-2020-papers10:30 - 10:54
Marco PatrignaniStanford University & CISPA , Marco GuarnieriIMDEA Software Institute
Media Attached File Attached
prisc-2020-papers10:54 - 11:18
Carmine AbateInria Paris, Roberto BlancoInria, Stefan CiobacaAlexandru Ioan Cuza University of Iasi, Deepak GargMax Planck Institute for Software Systems, Cătălin HriţcuInria Paris, Marco PatrignaniStanford University & CISPA , Éric TanterUniversity of Chile, Jérémy ThibaultInria Paris
Media Attached File Attached
prisc-2020-papers11:18 - 11:42
Johan BayAarhus University, Aslan AskarovAarhus University
Media Attached File Attached
prisc-2020-papers11:42 - 12:06
Ken Friis LarsenDIKU, University of Copenhagen, Torben MogensenDIKU, University of Copenhagen, Michael Kirkedal ThomsenDIKU, University of Copenhagen
prisc-2020-papers12:06 - 12:30
Sandrine BlazyUniv Rennes- IRISA, Rémi HutinIRISA / ENS Rennes, David PichardieUniv Rennes, ENS Rennes, IRISA
Media Attached