Start Date: 2022-01-01 End Date: 2025-01-01
We explore the potential of First Order Logic for the specification of parametric systems. Our goal is to design methods for verifying the impossibility for malicious coalitions to access sensitive data. We also explore methods for automatically synthesizing system components which would guarantee the given secrecy objectives.