Publication | Closed Access

Quantitative information flow as safety and liveness hyperproperties