Shuying Liang

Publication Activity (10 Years)

Years Active: 2008-2015
Publications (10 Years): 0

Top Topics

Pruning Algorithm

Pruning Methods

Top Venues

Electron. Notes Theor. Comput. Sci.

Publications

Shuying Liang, Matthew Might, David Van Horn
AnaDroid: Malware Analysis of Android with User-supplied Predicates. Electron. Notes Theor. Comput. Sci. 311 (2015)
Shuying Liang, Weibin Sun, Matthew Might
Fast Flow Analysis with Godel Hashes. SCAM (2014)
Shuying Liang, Weibin Sun, Matthew Might, Andrew W. Keep, David Van Horn
Pruning, Pushdown Exception-Flow Analysis. SCAM (2014)
Shuying Liang, Weibin Sun, Matthew Might, Andrew W. Keep, David Van Horn
Pruning, Pushdown Exception-Flow Analysis. CoRR (2014)
Shuying Liang, Matthew Might, David Van Horn
AnaDroid: Malware Analysis of Android with User-supplied Predicates. CoRR (2013)
Shuying Liang, Andrew W. Keep, Matthew Might, Steven Lyde, Thomas Gilray, Petey Aldous, David Van Horn
Sound and precise malware analysis for android via pushdown reachability and entry-point saturation. SPSM@CCS (2013)
Shuying Liang, Matthew Might, Thomas Gilray, David Van Horn
Pushdown Exception-Flow Analysis of Object-Oriented Programs CoRR (2013)
Shuying Liang, Andrew W. Keep, Matthew Might, Steven Lyde, Thomas Gilray, Petey Aldous, David Van Horn
Sound and Precise Malware Analysis for Android via Pushdown Reachability and Entry-Point Saturation. CoRR (2013)
Shuying Liang, Matthew Might
Hash-flow taint analysis of higher-order programs. PLAS (2012)
Ruonan Rao, Shuying Liang, Jinyuan You
LBLS: A Locality Bounded Hashing-Based Location Service. J. Networks 5 (1) (2010)
Ruonan Rao, Shuying Liang, Jinyuan You
HTL: A Locality Bounded Flat Hash Location Service. NPC (2008)