56 citations · 67 across the 10 of their papers we have counts for
4 papers · 1 filter
TrustCross: Enabling Confidential Interoperability across Blockchains Using Trusted Hardware
Ying Lan, Jianbo Gao, Ke Wang +4
With the rapid development of blockchain technology, different types of blockchains are adopted and interoperability across blockchains has received widespread attention. There hav…
A New Enforcement on Declassification with Reachability Analysis
Cong Sun, Liyong Tang, Zhong Chen
Language-based information flow security aims to decide whether an action-observable program can unintentionally leak confidential information if it has the authority to access con…
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…
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…