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