Differential Verification of Information Flow in SEAndroid Policies. - Lorenzo Ceragioli; Letterio Galletta; Edoardo Lunati (FM (1), 2026)