Barati, Masoud, Rana, Omer, Theodorakopoulos, George, "Automating GDPR Compliance Verification for Cloud-hosted Services", , 2025