We introduce a novel logic for asynchronous hyperproperties with a new
m...
In this paper, we study a novel approach to asynchronous hyperproperties...
Hyperproperties have received increasing attention in the last decade du...
Information security properties of reactive systems like non-interferenc...