30 citations · 46 across the 15 of their papers we have counts for
15 papers
MalFlows: Context-aware Fusion of Heterogeneous Flow Semantics for Android Malware Detection
Zhaoyi Meng, Fenglei Xu, Wenxiang Zhao +5
Static analysis, a fundamental technique in Android app examination, enables the extraction of control flows, data flows, and inter-component communications (ICCs), all of which ar…
WACANA: A Concolic Analyzer for Detecting On-chain Data Vulnerabilities in WASM Smart Contracts
Wansen Wang, Caichang Tu, Zhaoyi Meng +2
WebAssembly (WASM) has emerged as a crucial technology in smart contract development for several blockchain platforms. Unfortunately, since their introduction, WASM smart contracts…
JANUS: A Difference-Oriented Analyzer For Financial Centralization Risks in Smart Contracts
Wansen Wang, Pu Zhang, Renjie Ji +3
Some smart contracts violate decentralization principles by defining privileged accounts that manage other users' assets without permission, introducing centralization risks that h…
Detecting Android Malware by Visualizing App Behaviors from Multiple Complementary Views
Zhaoyi Meng, Jiale Zhang, Jiaqi Guo +5
Deep learning has emerged as a promising technology for achieving Android malware detection. To further unleash its detection potentials, software visualization can be integrated f…
Place Protections at the Right Place: Targeted Hardening for Cryptographic Code against Spectre v1
Yiming Zhu, Wenchao Huang, Yan Xiong
Spectre v1 attacks pose a substantial threat to security-critical software, particularly cryptographic implementations. Existing software mitigations, however, often introduce exce…
An Automated Analyzer for Financial Security of Ethereum Smart Contracts
Wansen Wang, Wenchao Huang, Zhaoyi Meng +5
At present, millions of Ethereum smart contracts are created per year and attract financially motivated attackers. However, existing analyzers do not meet the need to precisely ana…
Threshold Changeable Secret Sharing Scheme and Its Application to Group Authentication
Fuyou Miao, Yue Yu, Keju Meng +2
Group oriented applications are getting more and more popular in mobile Internet and call for secure and efficient secret sharing (SS) scheme to meet their requirements. A …
AppAngio: Revealing Contextual Information of Android App Behaviors by API-Level Audit Logs
Zhaoyi Meng, Yan Xiong, Wenchao Huang +2
Android users are now suffering severe threats from unwanted behaviors of various apps. The analysis of apps' audit logs is one of the essential methods for some device manufacture…
Verifying Security Protocols using Dynamic Strategies
Yan Xiong, Cheng Su, Wenchao Huang +3
Current formal approaches have been successfully used to find design flaws in many security protocols. However, it is still challenging to automatically analyze protocols due to th…
A verifiable framework of entanglement-free quantum secret sharing with information-theoretical security
Changbin Lu, Fuyou Miao, Junpeng Hou +2
Quantum secret sharing (QSS) schemes without entanglement have huge advantages in scalability and are easier to realize as they only require sequential communications of a single q…
WalkieLokie: Relative Positioning for Augmented Reality Using a Dummy Acoustic Speaker
Wenchao Huang, Yan Xiong, Xiang-Yang Li +3
We propose and implement a novel relative positioning system, WalkieLokie, to enable more kinds of Augmented Reality applications, e.g., virtual shopping guide, virtual business ca…
A Visible Light Based Indoor Positioning System
Yiqing Hu, Yan Xiong, Wenchao Huang +5
In this paper, we propose a novel indoor localization scheme that exploits ubiquitous visible lights, which are necessarily and densely deployed in almost all indoor environments.…
Integrity Verification for Outsourcing Uncertain Frequent Itemset Mining
Qiwei Lu, Wenchao Huang, Yan Xiong +1
In recent years, due to the wide applications of uncertain data (e.g., noisy data), uncertain frequent itemsets (UFI) mining over uncertain databases has attracted much attention,…
A Secure Distributed Authentication scheme based on CRT-VSS and Trusted Computing in MANET
Qiwei Lu, Wenchao Huang, Xudong Gong +3
With the rapid development of MANET, secure and practical authentication is becoming increasingly important. The existing works perform the research from two aspects, i.e., (a)secu…
Accurate Indoor Localization Using Acoustic Direction Finding via Smart Phones
Wenchao Huang, Yan Xiong, Xiang-Yang Li +4
We propose and implement a novel indoor localization scheme, Swadloon, built upon an accurate acoustic direction finding. Swadloon leverages sensors of the smartphone without the r…