"SDLI: Static Detection of Leaks Across Intents."

Rocco Salvia et al. (2018)
a service of Schloss Dagstuhl - Leibniz Center for Informatics