Task T1.2 was officially completed on July 31, 2024. This task focused on designing methods to evaluate software compliance with privacy and security policies.
Through the use of contract-based models and formal logic representations, the team created tools that can verify whether software behavior aligns with access control and privacy rules. These techniques lay the groundwork for policy-aware development in Smart Home environments and enable secure-by-design solutions.