245 followers Verification papers @verif_papers Case Study: Static Security Analysis of the Android Goldfish Kernel. - Tao Liu, Ralf Huuck http://t.co/NmKnBkKdIS 28 May 2015 Reply Repost Favourite