Open source file encryption software
Smoke: Android Crypto Chat Messenger
Just an app I developed for my university course
Web application to register FIDO keys from TLS ClientAuth sessions
Open Source Security tool to audit hashed passwords.
Event correlation engine with reactive facilities
Tool for synthesizing business process logs.
Petri net framework for security related modeling and reasoning.
Java Library for workflow handling
Framework for security-related definition and reasoning.
a deliberately vulnerable Web application
Web based management tool for unixes