Encryption and reversible computations: Work-in-progress paper
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
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.
Original language | English |
---|---|
Title of host publication | Reversible Computation : 10th International Conference, RC 2018, 2018, Proceedings |
Publisher | Springer |
Publication date | 2018 |
Pages | 331-338 |
ISBN (Print) | 9783319994970 |
DOIs | |
Publication status | Published - 2018 |
Event | 10th International Conference on Reversible Computation, RC 2018 - Leicester, United Kingdom Duration: 12 Sep 2018 → 14 Sep 2018 |
Conference
Conference | 10th International Conference on Reversible Computation, RC 2018 |
---|---|
Land | United Kingdom |
By | Leicester |
Periode | 12/09/2018 → 14/09/2018 |
Series | Lecture notes in computer science |
---|---|
Volume | 11106 |
ISSN | 0302-9743 |
- Encryption, Information leakage, Reversible computation, Reversible programming, Security, Side-channel attacks
Research areas
ID: 203776714