2 papers
cs.CR2026
Noninterference Analysis of Irreversible Systems and Reversible Systems Featuring both Nondeterminism and Probabilities
Andrea Esposito, Alessandro Aldini, Marco Bernardo
The theory of noninterference supports the analysis of secure computations in multi-level security systems. Classical equivalence-based approaches to noninterference mainly rely on…
cs.CR2025
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…