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.

Open Interactive Online Tool

Visit to try it yourself!

Video & Tool Walkthrough

In a hurry? We also have a 25-second preview video.


Related Student Theses