1 paper · 1 filter
Ali Bajwa, Minjian Zhang, Rohit Chadha +1
A hyperproperty relates executions of a program and is used to formalize security objectives such as confidentiality, non-interference, privacy, and anonymity. Formally, a hyperpro…