Faculty of Computer Science
    • Faculty of Computer Science
    • Institute of Software and Multimedia Technology
    • Technische Universität Dresden
    • Contact
    • Facebook
    • Twitter
    • Youtube
    • RSS Feeds
    Sprache:
    • DE
    • EN
Interactive Media Lab Dresden
  • News
  • Teaching
    • Lectures and Courses
    • Student Theses
  • Research
    • Projects
    • Publications
    • Partners
    • Dresden Talks
  • Publications
  • Our Group
    • Our Team
    • Jobs / Open Positions
    • Press
    • Contact
    • Accessibility
    • Legal Notice
Interactive Media Lab Dresden –
  • News
  • Teaching
    • Lectures and Courses
    • Student Theses
  • Research
    • Projects
    • Publications
    • Partners
    • Dresden Talks
  • Publications
  • Our Group
    • Our Team
    • Jobs / Open Positions
    • Press
    • Contact
    • Accessibility
    • Legal Notice

Research Projects

HyperVis: Visualizing Hyperproperties

  • Projects
  • Publications
  • Partners
  • Dresden Talks

HyperVis is an interactive tool for the visualization of counterexamples to hyperproperties, such as noninterference and other information-flow policies.

Tool Walkthrough

Artifact & Resources

Note: The following resources are only provided for review purposes at TACAS. Do not redistribute.

Artifact

The artifact including readme and install instructions is available here: https://cloudstore.zih.tu-dresden.de/index.php/s/YkgRWf2Mk4C44MN

Additional Resources

  • VM image (Debian-based) with pre-installed tool: https://cloudstore.zih.tu-dresden.de/index.php/s/9sxdQaMFWSBrsTL
  • Docker image: https://cloud.perspicuous-computing.science/s/BCx2dHdsG3Spyxg
  • Online version: http://syntcompcc5.react.uni-saarland.de:4723/

  • Research
  • Projects
  • HyperVis: Visualizing Hyperproperties

Last modified: 6 months ago (October 26, 2020 @ 11:41)

Copyright © 2012-2021   Interactive Media Lab Dresden

  • Legal Notice
  • Privacy
  • Accessibility