30 citations · 46 across the 10 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
cs.SE2018★ 1 cited
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…
cs.CR2018★ 2 cited
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…
quant-ph2018★ 30 cited
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…