Standard
Hermes : A Reversible Language for Writing Encryption Algorithms (Work in Progress). / Mogensen, Torben Ægidius.
Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. ed. / Nikolaj Bjørner; Irina Virbitskaite; Andrei Voronkov. Springer VS, 2019. p. 243-251 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11964 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Mogensen, TÆ 2019,
Hermes: A Reversible Language for Writing Encryption Algorithms (Work in Progress). in N Bjørner, I Virbitskaite & A Voronkov (eds),
Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Springer VS, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11964 LNCS, pp. 243-251, 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russian Federation,
02/07/2019.
https://doi.org/10.1007/978-3-030-37487-7_21
APA
Mogensen, T. Æ. (2019).
Hermes: A Reversible Language for Writing Encryption Algorithms (Work in Progress). In N. Bjørner, I. Virbitskaite, & A. Voronkov (Eds.),
Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers (pp. 243-251). Springer VS. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) Vol. 11964 LNCS
https://doi.org/10.1007/978-3-030-37487-7_21
Vancouver
Mogensen TÆ.
Hermes: A Reversible Language for Writing Encryption Algorithms (Work in Progress). In Bjørner N, Virbitskaite I, Voronkov A, editors, Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. Springer VS. 2019. p. 243-251. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11964 LNCS).
https://doi.org/10.1007/978-3-030-37487-7_21
Author
Mogensen, Torben Ægidius. / Hermes : A Reversible Language for Writing Encryption Algorithms (Work in Progress). Perspectives of System Informatics: 12th International Andrei P. Ershov Informatics Conference, PSI 2019, Revised Selected Papers. editor / Nikolaj Bjørner ; Irina Virbitskaite ; Andrei Voronkov. Springer VS, 2019. pp. 243-251 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11964 LNCS).
Bibtex
@inproceedings{8936e4cbc4c7449fb2a8496e45769a6b,
title = "Hermes: A Reversible Language for Writing Encryption Algorithms (Work in Progress)",
abstract = "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.",
author = "Mogensen, {Torben {\AE}gidius}",
year = "2019",
month = jan,
doi = "10.1007/978-3-030-37487-7_21",
language = "English",
isbn = "9783030374860",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer VS",
pages = "243--251",
editor = "Nikolaj Bj{\o}rner and Irina Virbitskaite and Andrei Voronkov",
booktitle = "Perspectives of System Informatics",
note = "12th International Andrei P. Ershov Informatics Conference, PSI 2019 ; Conference date: 02-07-2019 Through 05-07-2019",
}
RIS
TY - GEN
T1 - Hermes
T2 - 12th International Andrei P. Ershov Informatics Conference, PSI 2019
AU - Mogensen, Torben Ægidius
PY - 2019/1
Y1 - 2019/1
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=85077492663&partnerID=8YFLogxK
U2 - 10.1007/978-3-030-37487-7_21
DO - 10.1007/978-3-030-37487-7_21
M3 - Article in proceedings
AN - SCOPUS:85077492663
SN - 9783030374860
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 243
EP - 251
BT - Perspectives of System Informatics
A2 - Bjørner, Nikolaj
A2 - Virbitskaite, Irina
A2 - Voronkov, Andrei
PB - Springer VS
Y2 - 2 July 2019 through 5 July 2019
ER -