43 citations · 62 across the 22 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2017
Quantum Inspired Security on a Mobile Phone
Yu Qin, Wanjiaman Li
The widespread use of mobile electronic devices increases the complexities of mobile security. This paper aims to provide a secure communication environment for smartphone users. S…
cs.CR2016★ 2 cited
Computational Soundness Results for Stateful Applied pi Calculus
Jianxiong Shao, Yu Qin, Dengguo Feng
In recent years, many researches have been done to establish symbolic models of stateful protocols. Two works among them, the SAPIC tool and StatVerif tool, provide a high-level sp…