Cornell University / University of Washington / University of California / /
IndustryTerm
malicious applications / translation tool / automated analysis tool / static analysis algorithm / Software model checking / basic graph-theoretic algorithms / telephony / computing / Software model checkers / benign applications / graph algorithms / transition systems / diagnostic tool / model checking algorithms / verification tool / be implemented using basic graph-theoretic algorithms / /
OperatingSystem
Linux / Android / /
Organization
Recorder Activity Recorder Service / UC Berkeley / US Federal Reserve / University of California / Berkeley / Massachusetts Institute of Technology / University of Washington / Seattle / Cornell University / /
Person
Edward Wu / Dawn Song / Noah Johnson / Kyle MacNamara / Tom Magrino / Martin Rinard / /
Position
analyst / /
Product
Pegasus / /
ProgrammingLanguage
XML / D / Java / Java bytecode / /
ProvinceOrState
California / /
Technology
graph algorithms / virtual machine / XML / SMS / Android system / Java / Linux / API / smartphones / basic graph-theoretic algorithms / Android / operating system / static analysis algorithm / model checking algorithms / mobile devices / calling an API to start recording / /