4 citations · 10 across the 9 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.CR2023★ 3 cited
Noninterference Analysis of Reversible Systems: An Approach Based on Branching Bisimilarity
Andrea Esposito, Alessandro Aldini, Marco Bernardo +1
The theory of noninterference supports the analysis of information leakage and the execution of secure computations in multi-level security systems. Classical equivalence-based app…
cs.LO2023★ 4 cited
Modal Logic Characterizations of Forward, Reverse, and Forward-Reverse Bisimilarities
Marco Bernardo, Andrea Esposito
Reversible systems feature both forward computations and backward computations, where the latter undo the effects of the former in a causally consistent manner. The compositionalit…