1 citations · 2 across the 3 of their papers we have counts for
1 paper · 1 filter
Dietrich Kuske, Sarah Winter, Martin Zimmermann
We introduce a novel logic for the specification of context-free hyperproperties, which capture, e.g., the flow of information in security-critical recursive systems. Intuitively,…