24 citations · 37 across the 11 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.SE2014
Proceedings Third International Workshop on Engineering Safety and Security Systems
Jun Pang, Yang Liu
The International Workshop on Engineering Safety and Security Systems (ESSS) aims at contributing to the challenge of constructing reliable and secure systems. The workshop covers…
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…