Practical, formal synthesis and automatic enforcement of security policies for Android

Hamid Bagheri, Alireza Sadeghi, Reyhaneh Jabbarvand, Sam Malek

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'Practical, formal synthesis and automatic enforcement of security policies for Android'. Together they form a unique fingerprint.

Engineering & Materials Science