Hermes: A Reversible Language for Writing Encryption Algorithms (Work in Progress)

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

We describe the programming language Hermes, which is designed for writing private-key encryption algorithms. 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. Hermes also ensures that all variables are cleared after use, so the memory will not contain data that can be used for side-channel attacks. Additionally, to prevent side-channel attacks that extract information from running times, control structures that may give data-dependent execution times are avoided.

OriginalsprogEngelsk
TitelPerspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers
RedaktørerNikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov
Antal sider9
ForlagSpringer VS
Publikationsdatojan. 2019
Sider243-251
ISBN (Trykt)9783030374860
DOI
StatusUdgivet - jan. 2019
Begivenhed12th International Andrei P. Ershov Informatics Conference, PSI 2019 - Novosibirsk, Rusland
Varighed: 2 jul. 20195 jul. 2019

Konference

Konference12th International Andrei P. Ershov Informatics Conference, PSI 2019
LandRusland
ByNovosibirsk
Periode02/07/201905/07/2019
NavnLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Vol/bind11964 LNCS
ISSN0302-9743

ID: 239809073