1 paper · 1 filter
Amir M. Ahmadian, Hazem Torfah
Formalisms for hyperproperties provide a solid foundation for studying the verification problem across classes of relational properties, such as those in information flow control (…