Encryption and reversible computations: Work-in-progress paper

Dominik Táborský; Ken Friis Larsen; Michael Kirkedal Thomsen

doi:10.1007/978-3-319-99498-7_23

Encryption and reversible computations: Work-in-progress paper

Dominik Táborský, Ken Friis Larsen, Michael Kirkedal Thomsen^*

^*Corresponding author af dette arbejde

2 Citationer (Scopus)

Abstract

Encryption is a special case of conditional loss-less transformation and is, thus, interesting to study from the perspective of reversible computations. In this paper we investigate some of the advantages of implementing encryption algorithms in a reversible language; here exemplified by implementing several symmetric lightweight encryption algorithms in Janus. We not only get both encryption and decryption programs with the same implementation, but also demonstrate how to translate the Janus program to a Vale program, which is then intended to be used to formally show the absence of state information leakage. This shows a way to use reversible programming to increase resilience to some side-channel attacks and give prospects for writing more secure algorithms in the future. Our experience shows that the implementation time is not significantly increased when implementing the algorithms in Janus.

Originalsprog	Engelsk
Titel	Reversible Computation : 10th International Conference, RC 2018, 2018, Proceedings
Forlag	Springer
Publikationsdato	2018
Sider	331-338
ISBN (Trykt)	9783319994970
DOI	https://doi.org/10.1007/978-3-319-99498-7_23
Status	Udgivet - 2018
Begivenhed	10th International Conference on Reversible Computation, RC 2018 - Leicester, Storbritannien Varighed: 12 sep. 2018 → 14 sep. 2018

Konference

Konference	10th International Conference on Reversible Computation, RC 2018
Land/Område	Storbritannien
By	Leicester
Periode	12/09/2018 → 14/09/2018

Navn	Lecture notes in computer science
Vol/bind	11106
ISSN	0302-9743

Adgang til dokumentet

10.1007/978-3-319-99498-7_23

Andre filer og links

Link to publication in Scopus

Citationsformater

Encryption and reversible computations : Work-in-progress paper. / Táborský, Dominik; Larsen, Ken Friis ; Thomsen, Michael Kirkedal.

Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, 2018. s. 331-338 (Lecture notes in computer science, Bind 11106).

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Táborský, D, Larsen, KF & Thomsen, MK 2018, Encryption and reversible computations: Work-in-progress paper. i Reversible Computation: 10th International Conference, RC 2018, 2018, Proceedings. Springer, Lecture notes in computer science, bind 11106, s. 331-338, 10th International Conference on Reversible Computation, RC 2018, Leicester, Storbritannien, 12/09/2018. https://doi.org/10.1007/978-3-319-99498-7_23

@inproceedings{709f47a6a1e0414c8ba8ebbff4f3f618,

title = "Encryption and reversible computations: Work-in-progress paper",

abstract = "Encryption is a special case of conditional loss-less transformation and is, thus, interesting to study from the perspective of reversible computations. In this paper we investigate some of the advantages of implementing encryption algorithms in a reversible language; here exemplified by implementing several symmetric lightweight encryption algorithms in Janus. We not only get both encryption and decryption programs with the same implementation, but also demonstrate how to translate the Janus program to a Vale program, which is then intended to be used to formally show the absence of state information leakage. This shows a way to use reversible programming to increase resilience to some side-channel attacks and give prospects for writing more secure algorithms in the future. Our experience shows that the implementation time is not significantly increased when implementing the algorithms in Janus.",

keywords = "Encryption, Information leakage, Reversible computation, Reversible programming, Security, Side-channel attacks",

author = "Dominik T{\'a}borsk{\'y} and Larsen, {Ken Friis} and Thomsen, {Michael Kirkedal}",

year = "2018",

doi = "10.1007/978-3-319-99498-7_23",

language = "English",

isbn = "9783319994970",

series = "Lecture notes in computer science",

publisher = "Springer",

pages = "331--338",

booktitle = "Reversible Computation",

note = "10th International Conference on Reversible Computation, RC 2018 ; Conference date: 12-09-2018 Through 14-09-2018",

}

TY - GEN

T1 - Encryption and reversible computations

T2 - 10th International Conference on Reversible Computation, RC 2018

AU - Táborský, Dominik

AU - Larsen, Ken Friis

AU - Thomsen, Michael Kirkedal

PY - 2018

Y1 - 2018

N2 - Encryption is a special case of conditional loss-less transformation and is, thus, interesting to study from the perspective of reversible computations. In this paper we investigate some of the advantages of implementing encryption algorithms in a reversible language; here exemplified by implementing several symmetric lightweight encryption algorithms in Janus. We not only get both encryption and decryption programs with the same implementation, but also demonstrate how to translate the Janus program to a Vale program, which is then intended to be used to formally show the absence of state information leakage. This shows a way to use reversible programming to increase resilience to some side-channel attacks and give prospects for writing more secure algorithms in the future. Our experience shows that the implementation time is not significantly increased when implementing the algorithms in Janus.

AB - Encryption is a special case of conditional loss-less transformation and is, thus, interesting to study from the perspective of reversible computations. In this paper we investigate some of the advantages of implementing encryption algorithms in a reversible language; here exemplified by implementing several symmetric lightweight encryption algorithms in Janus. We not only get both encryption and decryption programs with the same implementation, but also demonstrate how to translate the Janus program to a Vale program, which is then intended to be used to formally show the absence of state information leakage. This shows a way to use reversible programming to increase resilience to some side-channel attacks and give prospects for writing more secure algorithms in the future. Our experience shows that the implementation time is not significantly increased when implementing the algorithms in Janus.

KW - Encryption

KW - Information leakage

KW - Reversible computation

KW - Reversible programming

KW - Security

KW - Side-channel attacks

UR - http://www.scopus.com/inward/record.url?scp=85053505437&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-99498-7_23

DO - 10.1007/978-3-319-99498-7_23

M3 - Article in proceedings

AN - SCOPUS:85053505437

SN - 9783319994970

T3 - Lecture notes in computer science

SP - 331

EP - 338

BT - Reversible Computation

PB - Springer

Y2 - 12 September 2018 through 14 September 2018

ER -

Encryption and reversible computations: Work-in-progress paper

Abstract

Konference

Adgang til dokumentet

Andre filer og links

Fingeraftryk

Citationsformater