HyperVis is an interactive tool for explicating and visualizing counterexamples to hyperproperties, such as noninterference and other information-flow policies.
Open Interactive Online Tool
Visit finkbeiner.groups.cispa.de/tools/online/hypervis/ to try it yourself!
Video & Tool Walkthrough
In a hurry? We also have a 25-second preview video.
Publication
@inproceedings{coenen2022hyperproperty,
author = {Norine Coenen and Raimund Dachselt and Bernd Finkbeiner and Hadar Frenkel and Christopher Hahn and Tom Horak and Niklas Metzger and Julian Siber},
title = {Explaining Hyperproperty Violations},
booktitle = {34th International Conference on Computer Aided Verification},
series = {CAV 22},
year = {2022},
month = {8},
location = {Haifa, Israel},
doi = {10.1007/978-3-031-13185-1_20}
}List of additional material
@article{Horak2021VisualAnalysisHyperproperties,
author = {Tom Horak and Norine Coenen and Niklas Metzger and Christopher Hahn and Tamara Flemisch and Juli\'{a}n M\'{e}ndez and Dennis Dimov and Bernd Finkbeiner and Raimund Dachselt},
title = {Visual Analysis of Hyperproperties for Understanding Model Checking Results},
journal = {IEEE Transactions on Visualization and Computer Graphics},
year = {2022},
month = {10},
location = {Virtual Event},
doi = {10.1109/TVCG.2021.3114866},
publisher = {IEEE}
}List of additional material
, Video, Online Demo
Related Student Theses
Concepts for Interactively Exploring Information Flow and Design Options of Knowledge-based Systems
Julián Méndez October 5th, 2020 until March 8th, 2021
Supervision: Tamara Flemisch, Weizhou Luo, Tom Horak, Raimund Dachselt
Visualizing Model Checking Results of Hyperproperties and Information Flow
Dennis Dimov February 3rd, 2020 until May 18th, 2020
Supervision: Tamara Flemisch, Tom Horak, Weizhou Luo, Raimund Dachselt