5 citations · 15 across the 8 of their papers we have counts for
10 papers · 1 filter
Prove You Owned Me: One Step beyond RFID Tag/Mutual Authentication
Shaoying Cai, Yingjiu Li, Changshe Ma +2
Radio Frequency Identification (RFID) is a key technology used in many applications. In the past decades, plenty of secure and privacy-preserving RFID tag/mutual authentication pro…
An efficient and secure scheme of verifiable computation for Intel SGX
Wenxiu Ding, Wei Sun, Zheng Yan +1
Cloud computing offers resource-constrained users big-volume data storage and energy-consuming complicated computation. However, owing to the lack of full trust in the cloud, the c…
Pocket Diagnosis: Secure Federated Learning against Poisoning Attack in the Cloud
Zhuoran Ma, Jianfeng Ma, Yinbin Miao +3
Federated learning has become prevalent in medical diagnosis due to its effectiveness in training a federated model among multiple health institutions (i.e. Data Islands (DIs)). Ho…
Privacy-preserving Medical Treatment System through Nondeterministic Finite Automata
Yang Yang, Robert H. Deng, Ximeng Liu +4
In this paper, we propose a privacy-preserving medical treatment system using nondeterministic finite automata (NFA), hereafter referred to as P-Med, designed for the remote medica…
When Program Analysis Meets Bytecode Search: Targeted and Efficient Inter-procedural Analysis of Modern Android Apps in BackDroid
Daoyuan Wu, Debin Gao, Robert H. Deng +1
Widely-used Android static program analysis tools, e.g., Amandroid and FlowDroid, perform the whole-app inter-procedural analysis that is comprehensive but fundamentally difficult…
VerifyTL: Secure and Verifiable Collaborative Transfer Learning
Zhuoran Ma, Jianfeng Ma, Yinbin Miao +4
Getting access to labelled datasets in certain sensitive application domains can be challenging. Hence, one often resorts to transfer learning to transfer knowledge learned from a…