Standard
Hermes : A Language for Light-Weight Encryption. / Mogensen, Torben Ægidius.
Reversible Computation - 12th International Conference, RC 2020, Proceedings. ed. / Ivan Lanese; Mariusz Rawski. Springer, 2020. p. 93-110 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12227 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Mogensen, TÆ 2020,
Hermes: A Language for Light-Weight Encryption. in I Lanese & M Rawski (eds),
Reversible Computation - 12th International Conference, RC 2020, Proceedings. Springer, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12227 LNCS, pp. 93-110, 12th International Conference on Reversible Computation,RC 2020, Oslo, Norway,
09/07/2020.
https://doi.org/10.1007/978-3-030-52482-1_5
APA
Mogensen, T. Æ. (2020).
Hermes: A Language for Light-Weight Encryption. In I. Lanese, & M. Rawski (Eds.),
Reversible Computation - 12th International Conference, RC 2020, Proceedings (pp. 93-110). Springer. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 12227 LNCS
https://doi.org/10.1007/978-3-030-52482-1_5
Vancouver
Mogensen TÆ.
Hermes: A Language for Light-Weight Encryption. In Lanese I, Rawski M, editors, Reversible Computation - 12th International Conference, RC 2020, Proceedings. Springer. 2020. p. 93-110. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12227 LNCS).
https://doi.org/10.1007/978-3-030-52482-1_5
Author
Mogensen, Torben Ægidius. / Hermes : A Language for Light-Weight Encryption. Reversible Computation - 12th International Conference, RC 2020, Proceedings. editor / Ivan Lanese ; Mariusz Rawski. Springer, 2020. pp. 93-110 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12227 LNCS).
Bibtex
@inproceedings{043bb807604c483c8041fbd1ad6ae387,
title = "Hermes: A Language for Light-Weight Encryption",
abstract = "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.",
author = "Mogensen, {Torben {\AE}gidius}",
year = "2020",
doi = "10.1007/978-3-030-52482-1_5",
language = "English",
isbn = "9783030524814",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer",
pages = "93--110",
editor = "Ivan Lanese and Mariusz Rawski",
booktitle = "Reversible Computation - 12th International Conference, RC 2020, Proceedings",
address = "Switzerland",
note = "12th International Conference on Reversible Computation,RC 2020 ; Conference date: 09-07-2020 Through 10-07-2020",
}
RIS
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 -