HyperVis is an interactive tool for explicating and visualizing counterexamples to hyperproperties, such as noninterference and other information-flow policies.
Try it out yourself: hypervis.tools.react.cs.uni-saarland.de
Video & Tool Walkthrough
In a hurry? We also have a 25-second preview video.
Publication
@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 Jesús Méndez Oconitrillo 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