Authentication and access-control framework
Smoke: Android Crypto Chat Messenger
cross-platform, encryption application
Just an app I developed for my university course
Open source file encryption software
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.
a deliberately vulnerable Web application
Framework for security-related definition and reasoning.
Java native access for pc/sc, pkcs11, openct based on JNA
Web based management tool for unixes