Security Analysis and Legal Compliance Checking for the Design of Privacy-friendly Information Systems. - Paolo Guarda; Silvio Ranise; Hari Siswantoro (SACMAT, 2017)

Automated Legal Compliance Checking by Security Policy Analysis. - Silvio Ranise; Hari Siswantoro (SAFECOMP Workshops, 2017)

Automated Analysis and Synthesis for the Compliance of Privacy and Other Legal Provisions. - Hari Siswantoro (2018)