Hermes: A Reversible Language for Writing Encryption Algorithms (Work in Progress)
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-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 language | English |
---|---|
Title of host publication | Perspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers |
Editors | Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov |
Number of pages | 9 |
Publisher | Springer VS |
Publication date | Jan 2019 |
Pages | 243-251 |
ISBN (Print) | 9783030374860 |
DOIs | |
Publication status | Published - Jan 2019 |
Event | 12th International Andrei P. Ershov Informatics Conference, PSI 2019 - Novosibirsk, Russian Federation Duration: 2 Jul 2019 → 5 Jul 2019 |
Conference
Conference | 12th International Andrei P. Ershov Informatics Conference, PSI 2019 |
---|---|
Land | Russian Federation |
By | Novosibirsk |
Periode | 02/07/2019 → 05/07/2019 |
Series | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 11964 LNCS |
ISSN | 0302-9743 |
ID: 239809073