86 citations · 278 across the 22 of their papers we have counts for
1 paper · 1 filter
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…