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

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

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.

Original languageEnglish
Title of host publicationPerspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers
EditorsNikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov
Number of pages9
PublisherSpringer VS
Publication dateJan 2019
Pages243-251
ISBN (Print)9783030374860
DOIs
Publication statusPublished - Jan 2019
Event12th International Andrei P. Ershov Informatics Conference, PSI 2019 - Novosibirsk, Russian Federation
Duration: 2 Jul 20195 Jul 2019

Conference

Conference12th International Andrei P. Ershov Informatics Conference, PSI 2019
LandRussian Federation
ByNovosibirsk
Periode02/07/201905/07/2019
SeriesLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume11964 LNCS
ISSN0302-9743

ID: 239809073