LucaBarbaro3

Sort by
From Sound Workflow Nets to LTLf Declarative Specifications
Protecting Secrets in Transparent Systems
Trusted Execution Environment for Decentralized Process Mining