Case Study: Static Security Analysis of the Android Goldfish Kernel.

Tao Liu, Ralf Huuck

Browse the full FM paper archive.