43 citations · 74 across the 6 of their papers we have counts for
14 papers
Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols
Ritam Ganguly, Yingjie Xue, Aaron Jonckheere +4
Transactions involving multiple blockchains are implemented by cross-chain protocols. These protocols are based on smart contracts, programs that run on blockchains, executed by a…
Finite-Word Hyperlanguages
Borzoo Bonakdarpour, Sarai Sheinvald
Formal languages are in the core of models of computation and their behavior. A rich family of models for many classes of languages have been widely studied. Hyperproperties lift c…
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…
Controller Synthesis for Hyperproperties
Borzoo Bonakdarpour, Bernd Finkbeiner
We investigate the problem of controller synthesis for hyperproperties specified in the temporal logic HyperLTL. Hyperproperties are system properties that relate multiple executio…
Program Repair for Hyperproperties
Borzoo Bonakdarpour, Bernd Finkbeiner
We study the repair problem for hyperproperties specified in the temporal logic HyperLTL. Hyperproperties are system properties that relate multiple computation traces. This class…
The Complexity of Monitoring Hyperproperties
Borzoo Bonakdarpour, Bernd Finkbeiner
We study the runtime verification of hyperproperties, expressed in the temporal logic HyperLTL, as a means to inspect a system with respect to security polices. Runtime monitors fo…