Software

Research

• Publications
• Research projects
• Seminar

Teaching

• Courses
• Student projects

SaToSS group

• Members
• Vacancies
• Software
• Vulnerability testing
• Contact

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.
• RFID demonstrator
• mCarve: A tool for carving attributed dump sets.
• cCarve: A command line tool for carving attributed dump sets based on mCarve.
• 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.
• bibHTML: a tool that generates a publication webpage out of a .bib file.