Differential Verification of Information Flow in SEAndroid Policies.

Lorenzo Ceragioli, Letterio Galletta, Edoardo Lunati

Browse the full FM paper archive.