A Logical Approach for Automated Reasoning About Privacy in Security Protocols

Project Details

StatusActive
Effective start/end date01/12/202130/11/2024