Hermes: A Language for Light-Weight Encryption
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Hermes is a domain-specific language for writing light-weight encryption algorithms: It is reversible, so it is not necessary to write separate encryption and decryption procedures, and it avoids several types of side-channel attacks, both by ensuring no secret values are left in memory and by ensuring that operations on secret data spend time independent of the value of this data, thus preventing timing-based attacks. We show a complete formal specification of Hermes, argue absence of timing-based attacks (under reasonable assumptions), and compare implementations of well-known light-weight encryption algorithms in Hermes and C.
Original language | English |
---|---|
Title of host publication | Reversible Computation - 12th International Conference, RC 2020, Proceedings |
Editors | Ivan Lanese, Mariusz Rawski |
Number of pages | 18 |
Publisher | Springer |
Publication date | 2020 |
Pages | 93-110 |
ISBN (Print) | 9783030524814 |
DOIs | |
Publication status | Published - 2020 |
Event | 12th International Conference on Reversible Computation,RC 2020 - Oslo, Norway Duration: 9 Jul 2020 → 10 Jul 2020 |
Conference
Conference | 12th International Conference on Reversible Computation,RC 2020 |
---|---|
Land | Norway |
By | Oslo |
Periode | 09/07/2020 → 10/07/2020 |
Series | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Volume | 12227 LNCS |
ISSN | 0302-9743 |
ID: 258496046