Keychain Access for React Native
Open source version of Google Authenticator (except the Android app)
Tool for synthesizing business process logs.
Web Application Vulnerability Scanner Evaluation Project
linux tool to improve server security
Simulator of access controls
KF Checker is a tool for analysing Information Flow properties.