4 citations · 4 across the 1 of their papers we have counts for
1 paper · 1 filter
Yu Wang, Siddhartha Nalluri, Borzoo Bonakdarpour +1
Hyperproperties have shown to be a powerful tool for expressing and reasoning about information-flow security policies. In this paper, we investigate the problem of statistical mod…