9 citations · 16 across the 3 of their papers we have counts for
1 paper · 1 filter
John Derrick, Simon Doherty, Brijesh Dongol +2
Hyperproperties are correctness conditions for labelled transition systems that are more expressive than traditional trace properties, with particular relevance to security. Recent…