12 citations · 21 across the 8 of their papers we have counts for
1 paper · 1 filter
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…