UNiform Interface to COmputing and data REsources
DNS over HTTPS config profiles for iOS & macOS
Security Workflow Analysis Tool
Java Library for workflow handling
Petri net framework for security related modeling and reasoning.
Tool for synthesizing business process logs.
Framework for security-related definition and reasoning.