29 citations · 60 across the 8 of their papers we have counts for
1 paper · 1 filter
Masaki Waga, Étienne André
Hyperproperties enable simultaneous reasoning about multiple execution traces of a system and are useful to reason about non-interference, opacity, robustness, fairness, observatio…