Hermes: A Reversible Language for Writing Encryption Algorithms (Work in Progress)
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfæ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.
Originalsprog | Engelsk |
---|---|
Titel | Perspectives of System Informatics : 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers |
Redaktører | Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov |
Antal sider | 9 |
Forlag | Springer VS |
Publikationsdato | jan. 2019 |
Sider | 243-251 |
ISBN (Trykt) | 9783030374860 |
DOI | |
Status | Udgivet - jan. 2019 |
Begivenhed | 12th International Andrei P. Ershov Informatics Conference, PSI 2019 - Novosibirsk, Rusland Varighed: 2 jul. 2019 → 5 jul. 2019 |
Konference
Konference | 12th International Andrei P. Ershov Informatics Conference, PSI 2019 |
---|---|
Land | Rusland |
By | Novosibirsk |
Periode | 02/07/2019 → 05/07/2019 |
Navn | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Vol/bind | 11964 LNCS |
ISSN | 0302-9743 |
ID: 239809073