Regulatory Compliance Verification: A Privacy Preserving Approach. - Massimo Morello; Petri Sainio; Mohammed B. Alshawki (CSNet, 2024)