Citation Impact
Citing Papers
Making information flow explicit in HiStar
2006
KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs
2008 Standout
TaintDroid: an information-flow tracking system for realtime privacy monitoring on smartphones
2010 Standout
Permission re-delegation: attacks and defenses
2011 Standout
TaintDroid
2014 Standout
Works of Steven Levi being referenced
An Overview of the Singularity Project
2005