Andrew W. Keep
Cisco Systems, Inc.
17 Papers
68 Citations
Andrew W. Keep is an academic researcher from Cisco Systems, Inc.. The author has contributed to research in topics: Compiler & Computer science. The author has an hindex of 7, co-authored 17 publications. Previous affiliations of Andrew W. Keep include Indiana University & University of Utah.
Chat about Author
Papers
•Posted Content
Sound and Precise Malware Analysis for Android via Pushdown Reachability and Entry-Point Saturation
Shuying Liang,Andrew W. Keep,Matthew Might,Steven Lyde,Thomas Gilray,Petey Aldous,David Van Horn +6 more
TL;DR: Anadroid is presented, a static malware analysis framework for Android apps that uses a pushdown system to precisely model dynamically dispatched interprocedural and exception-driven control-flow and uses Entry-Point Saturation (EPS) to soundly approximate all possible interleavings of asynchronous entry points in Android applications.
42
Sound and precise malware analysis for android via pushdown reachability and entry-point saturation
Shuying Liang,Andrew W. Keep,Matthew Might,Steven Lyde,Thomas Gilray,Petey Aldous,David Van Horn +6 more
- 08 Nov 2013
TL;DR: Anadroid as discussed by the authors is a static malware analysis framework for Android apps that uses a pushdown system to precisely model dynamically dispatched interprocedural and exception-driven control-flow.
PVPP: A Programmable Vector Packet Processor
Sean Choi,Xiang Long,Muhammad Shahbaz,Skip Booth,Andrew W. Keep,John William Marshall,Changhoon Kim +6 more
- 03 Apr 2017
TL;DR: The evaluation shows that PVPP can efficiently exploit the various features of the underlying architecture e.g., execution modes, memory types, and the batch I/O, resulting in the increased performance of the same data plane program.
16
Flow-sensitive type recovery in linear-log time
Michael D. Adams,Andrew W. Keep,Jan Midtgaard,Matthew Might,Arun Chauhan,R. Kent Dybvig +5 more
- 22 Oct 2011
TL;DR: This work has developed a fast, flow-sensitive type-recovery algorithm based on the linear-time,flow-insensitive sub-0CFA, implemented as an experimental optimization for the commercial Chez Scheme compiler, and justifying the elimination of about 60% of run-time type checks in a large set of benchmarks.
Pruning, Pushdown Exception-Flow Analysis
Shuying Liang,Weibin Sun,Matthew Might,Andrew W. Keep,David Van Horn +4 more
- 28 Sep 2014
TL;DR: In this article, a pushdown framework for object-oriented languages with full-featured exceptions is presented, which allows precise matching of throwers to catchers and pruning of points-to information.