Hermes: A Language for Light-Weight Encryption
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
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.
Originalsprog | Engelsk |
---|---|
Titel | Reversible Computation - 12th International Conference, RC 2020, Proceedings |
Redaktører | Ivan Lanese, Mariusz Rawski |
Antal sider | 18 |
Forlag | Springer |
Publikationsdato | 2020 |
Sider | 93-110 |
ISBN (Trykt) | 9783030524814 |
DOI | |
Status | Udgivet - 2020 |
Begivenhed | 12th International Conference on Reversible Computation,RC 2020 - Oslo, Norge Varighed: 9 jul. 2020 → 10 jul. 2020 |
Konference
Konference | 12th International Conference on Reversible Computation,RC 2020 |
---|---|
Land | Norge |
By | Oslo |
Periode | 09/07/2020 → 10/07/2020 |
Navn | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|
Vol/bind | 12227 LNCS |
ISSN | 0302-9743 |
ID: 258496046