Software
Software developed and maintained by the SaToSS group:
- The LaTeX message sequence chart (MSC) package is a LaTeX2e package to draw MSC diagrams.
- Implementation of "Improving Automatic Verification of Protocols with XOR".
- A visualizer and calculator for subjective opinions can be viewed online here and downloaded as java application here.
- mCarve: A tool for carving attributed dump sets.
- cCarve: A command line tool for carving attributed dump sets based on mCarve.
- MinUS: A tool tool for mining user similarity with trajectory patterns.
- ADTool: A software tool supporting the attack-defense tree methodology.
- The LaTeX ADT package: the LaTeX style class to draw attack-defense trees.
- Canephora: a tool to compute basic chained trust opinions and visualize them.
- php-bibHTML: a tool that generates a publication webpage out of a .bib file.
- ASSA-PBN: a tool for approximate steady-state analysis of large probabilistic Boolean networks (PBNs).
- FP-Block: a Firefox plugin to prevent fingerprint-based tracking.
- DBVerify: a set of Tamarin implementations of distance-bounding protocols.
- CABEAN: a software tool for the control of asynchronous Boolean networks.