TY - GEN
T1 - Hermes
T2 - 12th International Conference on Reversible Computation,RC 2020
AU - Mogensen, Torben Ægidius
PY - 2020
Y1 - 2020
N2 - 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.
AB - 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.
U2 - 10.1007/978-3-030-52482-1_5
DO - 10.1007/978-3-030-52482-1_5
M3 - Article in proceedings
AN - SCOPUS:85088576448
SN - 9783030524814
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 93
EP - 110
BT - Reversible Computation - 12th International Conference, RC 2020, Proceedings
A2 - Lanese, Ivan
A2 - Rawski, Mariusz
PB - Springer
Y2 - 9 July 2020 through 10 July 2020
ER -