68 citations · 75 across the 6 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2022★ 2 cited
Explainable AI for Android Malware Detection: Towards Understanding Why the Models Perform So Well?
Yue Liu, Chakkrit Tantithamthavorn, Li Li +1
Machine learning (ML)-based Android malware detection has been one of the most popular research topics in the mobile security community. An increasing number of research studies ha…
cs.CR2014★ 1 cited
Stateful Security Protocol Verification
Li Li, Jun Pang, Yang Liu +2
A long-standing research problem in security protocol design is how to efficiently verify security protocols with tamper-resistant global states. In this paper, we address this pro…