Screenshot of the HyperVis tool

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

Related Student Theses