Authentication and access-control framework
cross-platform, encryption application
Smoke: Android Crypto Chat Messenger
Open source file encryption software
Just an app I developed for my university course
Web application to register FIDO keys from TLS ClientAuth sessions
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