28 citations · 53 across the 4 of their papers we have counts for
5 papers
New Differential Privacy Communication Pipeline and Design Framework
Jingyu Jia, Zikai Alex Wen, Zheli Liu +1
Organizations started to adopt differential privacy (DP) techniques hoping to persuade more users to share personal data with them. However, many users do not understand DP techniq…
Analysing and Patching SPEKE in ISO/IEC
Feng Hao, Roberto Metere, Siamak F. Shahandashti +1
Simple Password Exponential Key Exchange (SPEKE) is a well-known Password Authenticated Key Exchange (PAKE) protocol that has been used in Blackberry phones for secure messaging an…
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…
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…
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…