28 citations · 53 across the 4 of their papers we have counts for
Showing 2017Show all
3 papers · 1 filter
cs.CR2017
Forward Private Searchable Symmetric Encryption with Optimized I/O Efficiency
Xiangfu Song, Changyu Dong, Dandan Yuan +2
Recently, several practical attacks raised serious concerns over the security of searchable encryption. The attacks have brought emphasis on forward privacy, which is the key conce…
cs.CR2017★ 9 cited
Betrayal, Distrust, and Rationality: Smart Counter-Collusion Contracts for Verifiable Cloud Computing
Changyu Dong, Yilei Wang, Amjad Aldweesh +2
Cloud computing has become an irreversible trend. Together comes the pressing need for verifiability, to assure the client the correctness of computation outsourced to the cloud. E…
cs.CR2017★ 28 cited
Automated Cryptographic Analysis of the Pedersen Commitment Scheme
Roberto Metere, Changyu Dong
Aiming for strong security assurance, recently there has been an increasing interest in formal verification of cryptographic constructions. This paper presents a mechanised formal…