Image encryption scheme with bit-level scrambling and multiplication diffusion

CL Li, Y Zhou, HM Li, W Feng, JR Du - Multimedia Tools and Applications, 2021 - Springer
As the most effective method of multimedia security protection, image encryption is widely
used in data hiding, security authentication and content protection. However, the security …

[PDF][PDF] Foundations of reversible computation

B Aman, G Ciobanu, R Glück… - … Extending Horizons of …, 2020 - library.oapen.org
Reversible computation allows computation to proceed not only in the standard, forward
direction, but also backward, recovering past states. While reversible computation has …

[HTML][HTML] Reversible computing from a programming language perspective

R Glück, T Yokoyama - Theoretical Computer Science, 2023 - Elsevier
Software plays a central role in all aspects of reversible computing systems, and a variety of
reversible programming languages have been developed. This presentation highlights the …

Sparcl: a language for partially-invertible computation

K Matsuda, M Wang - Proceedings of the ACM on Programming …, 2020 - dl.acm.org
Invertibility is a fundamental concept in computer science, with various manifestations in
software development (serializer/deserializer, parser/printer, redo/undo, compressor …

[PDF][PDF] Software and reversible systems: a survey of recent activities

CA Mezzina, R Schlatte, R Glück… - … Extending Horizons of …, 2020 - library.oapen.org
Software plays a central role in all aspects of reversible computing. We survey the breadth of
topics and recent activities on reversible software and systems including behavioural types …

Reversible programs have reversible semantics

R Glück, R Kaarsgaard, T Yokoyama - … Porto, Portugal, October 7–11, 2019 …, 2020 - Springer
During the past decade, reversible programming languages have been formalized using
various established semantic frameworks. However, these semantics fail to effectively …

From reversible programming languages to reversible metalanguages

R Glück, R Kaarsgaard, T Yokoyama - Theoretical Computer Science, 2022 - Elsevier
During the past decade reversible programming languages have been formalized using
various established semantics frameworks. However, these semantics fail to effectively …

Reversible programming: a case study of two string-matching algorithms

R Glück, T Yokoyama - arXiv preprint arXiv:2211.12225, 2022 - arxiv.org
String matching is a fundamental problem in algorithm. This study examines the
development and construction of two reversible string-matching algorithms: a naive string …

Using an expression tree for adaptive learning

A Chukhray, D Dvinskykh, V Narozhnyy… - 2023 13th …, 2023 - ieeexplore.ieee.org
This article presents a model of comparing two arithmetic expressions for use in adaptive
learning. The comparison model is based on a new expression non-binary tree model. The …

Exploring the Energy Overhead of Reversible Programs Executed on Irreversible Hardware

LBH Vadgaard, MH Kirkeby, KF Larsen… - International Conference …, 2024 - Springer
This paper investigates the energy efficiency of reversible programs executed on irreversible
hardware. Motivated by Landauer's principle, which suggests that information loss during …