66 citations · 105 across the 6 of their papers we have counts for
8 papers
Smart Contract Synthesis Modulo Hyperproperties
Norine Coenen, Bernd Finkbeiner, Jana Hofmann +1
Smart contracts are small but highly security-critical programs that implement wallets, token systems, auctions, crowd funding systems, elections, and other multi-party transaction…
Explaining Hyperproperty Violations
Norine Coenen, Raimund Dachselt, Bernd Finkbeiner +5
Hyperproperties relate multiple computation traces to each other. Model checkers for hyperproperties thus return, in case a system model violates the specification, a set of traces…
Runtime Enforcement of Hyperproperties
Norine Coenen, Bernd Finkbeiner, Christopher Hahn +2
An enforcement mechanism monitors a reactive system for undesired behavior at runtime and corrects the system's output in case it violates the given specification. In this paper, w…
Visual Analysis of Hyperproperties for Understanding Model Checking Results
Tom Horak, Norine Coenen, Niklas Metzger +6
Model checkers provide algorithms for proving that a mathematical model of a system satisfies a given specification. In case of a violation, a counterexample that shows the erroneo…
Causality-Based Game Solving
Christel Baier, Norine Coenen, Bernd Finkbeiner +3
We present a causality-based algorithm for solving two-player reachability games represented by logical constraints. These games are a useful formalism to model a wide array of pro…
A Temporal Logic for Asynchronous Hyperproperties
Jan Baumeister, Norine Coenen, Borzoo Bonakdarpour +2
Hyperproperties are properties of computational systems that require more than one trace to evaluate, e.g., many information-flow security and concurrency requirements. Where a tra…
Verifying Hyperliveness
Norine Coenen, Bernd Finkbeiner, César Sánchez +1
HyperLTL is an extension of linear-time temporal logic for the specification of hyperproperties, i.e., temporal properties that relate multiple computation traces. HyperLTL can exp…
The Hierarchy of Hyperlogics
Norine Coenen, Bernd Finkbeiner, Christopher Hahn +1
Hyperproperties, which generalize trace properties by relating multiple traces, are widely studied in information-flow security. Recently, a number of logics for hyperproperties ha…