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.
- New: Breeze: a programming language with dynamic information flow control and label-based discretionary access control, with Michael Greenberg, Ben Karel, Benoît Montagu, Greg Morrisett, Benjamin C. Pierce, and others
- F5: a tool-chain for RCF with Thorsten Tarrach
- DVerify: a verification tool for the “M” language by Thorsten Tarrach
- Dminor: a type-checker using semantic subtyping with Andy Gordon, Gavin Bierman, and Dave Langworthy
- 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
Old and 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
- Casper – peer-to-peer file sharing application for Linux
- Anaconda – personal information manager
- Quark – college physics simulation platform
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.