Most of the software I have written so far is released under an open source license and you can find it here. If you encounter any problem, don’t hesitate to ask for support. There is no warranty so please make sure you have read the disclaimer on this page before using any of these programs.
Active
- Coming soon: F5: a tool-chain for RCF by Thorsten Tarrach
- expi2java – code generator that converts verifiable protocol models into interoperable protocol implementations in Java by Alex Busenius
- Spi2F#: a prototype code generator for security protocols by Thorsten Tarrach
- zk-typechecker – an automatic verification tool for security protocols based on zero-knowledge proofs with Stefan Lorenz, Kim Pecina, and Thorsten Tarrach
Inactive
- uml2svg – XSLT-based tool for converting UML diagrams into SVG
- XWiki Charting – allows creating graphical charts in XWiki
- sMArTH – an online equation editor for MathML and LaTeX
- MpNT: A Multi-Precision Number Theory Package
- ADF: Agent Developing Framework
- P2PXWiki – P2P Enabled version of XWiki
- SJPT: Simple Java Parsing Toolkit for LL(1), LR(0), SLR(1), LR(1), LALR
- EnvGenie – multi-platform environment variable manager
Discontinued
- Casper – peer-to-peer file sharing application for Linux
- Anaconda – personal information manager
- Quark – college physics simulation platform
Disclaimer
Most of these programs are free software; you can redistribute them and/or modify them under the terms of their respective licenses.
These programs are distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
