Seminar on hyperproperties (Summer 2023)

Written on 30.03.2023 22:35 by Bernd Finkbeiner

Dear All, I’d like to draw your attention to a seminar on hyperproperties we are offering during the upcoming summer term.

In AG&V, we considered a system as correct if all its execution traces belong to a specified set of correct traces; hyperproperties generalize this from individual execution traces to sets of traces. Hyperproperties can reason about information-flow security (“an attacker cannot observe differences between traces that reveal secret information”) and notions like causality (“if the cause had not happened, the effect would not have happened”) or robustness (“small changes in the input result in small changes in the output”). In the seminar, we will look at current research on hyperproperties. We’ll discuss logics and verification algorithms, some of which may feel familiar after AG&V, and applications in security and elsewhere.

If you’re interested, more information is available on the seminar website (; registration is open until April 12th, 23:59 CET, via the central seminar assignment system (

Privacy Policy | Legal Notice
If you encounter technical problems, please contact the administrators.