no code implementations • 2 Nov 2016 • Lannan Luo, Qiang Zeng, Chen Cao, Kai Chen, Jian Liu, Limin Liu, Neng Gao, Min Yang, Xinyu Xing, Peng Liu
We present novel ideas and techniques to resolve the challenges, and have built the first system for symbolic execution of Android Framework.
Cryptography and Security Software Engineering
no code implementations • 8 Aug 2018 • Fei Zuo, Xiaopeng Li, Patrick Young, Lannan Luo, Qiang Zeng, Zhexin Zhang
The solutions to these two problems have many applications, such as cross-architecture vulnerability discovery and code plagiarism detection.
1 code implementation • 23 Dec 2018 • Kimberly Redmond, Lannan Luo, Qiang Zeng
As a showcase, we apply the model to resolving one of the most fundamental problems for binary code similarity comparison---semantics-based basic block comparison, and the solution outperforms the code statistics based approach.
no code implementations • 4 Oct 2021 • Gautham Ramajayam, Tao Sun, Chiu C. Tan, Lannan Luo, Haibin Ling
Many critical applications rely on cameras to capture video footage for analytical purposes.