56 citations · 67 across the 10 of their papers we have counts for
Showing 2010Show all
3 papers · 1 filter
cs.CR2010
Secure Information Flow by Model Checking Pushdown System
Cong Sun, Liyong Tang, Zhong Chen
We propose an approach on model checking information flow for imperative language with procedures. We characterize our model with pushdown system, which has a stack of unbounded le…
cs.GT2010
Privacy-Preserving English Auction Protocol with Round Efficiency
Hu Xiong, Zhong Chen
A privacy-preserving English auction protocol with round efficiency based on a modified ring signature has been proposed in this paper. The proposed protocol has three appealing ch…
cs.CR2010★ 2 cited
Efficient Privacy-Preserving Authentication Protocol for Vehicular Communications with Trustworthy
Hu Xiong, Jianbin Hu, Tao Yang +2
In this paper, we introduce an efficient and trustworthy conditional privacy-preserving communication protocol for VANETs based on proxy re-signature. The proposed protocol is char…