Shen Liu

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 5

Top Topics

Symbolic Execution

Database Machine

Top Venues

IEEE Symposium on Security and Privacy

Publications

Xiao Kan, Cong Sun, Shen Liu, Yongzhe Huang, Gang Tan, Siqi Ma, Yumei Zhang
Sdft: A PDG-based Summarization for Efficient Dynamic Data Flow Tracking. QRS (2021)
Xiao Kan, Cong Sun, Shen Liu, Yongzhe Huang, Gang Tan, Siqi Ma, Yumei Zhang
Sdft: A PDG-based Summarization for Efficient Dynamic Data Flow Tracking. CoRR (2021)
Shen Liu, Dongrui Zeng, Yongzhe Huang, Frank Capobianco, Stephen McCamant, Trent Jaeger, Gang Tan
Program-mandering: Quantitative Privilege Separation. CCS (2019)
Robert Brotzman, Shen Liu, Danfeng Zhang, Gang Tan, Mahmut T. Kandemir
CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation. IEEE Symposium on Security and Privacy (2019)
Shen Liu, Gang Tan, Trent Jaeger
PtrSplit: Supporting General Pointers in Automatic Program Partitioning. CCS (2017)
Shen Liu, Ling Chen, Gencai Chen
Voronoi-based range query for trajectory data in spatial networks. SAC (2011)
Yunjun Gao, Jing Zhang, Gencai Chen, Qing Li, Shen Liu, Chun Chen
Optimal-Nearest-Neighbor Queries. ICDE (2008)