3 papers
cs.CR2026
PriME-Deal: Privacy-Preserving Bilateral Data Trading with Efficient Matchmaking and Auditable Fair Exchange on Blockchain
Jie Zhang, Xiaohong Li, Shanshan Xu +3
Bilateral attribute-based access control for data trading must hide policies, provide cryptographic fairness, and avoid trusted third parties. Existing solutions either leak policy…
cs.CR2026
Privacy-Enhancing Encryption in Data Sharing: A Survey on Security, Performance and Functionality
Yongyang Lv, Xiaohong Li, Ruitao Feng +5
The vigorous development of the Internet has spurred exponential data growth, yet data is predominantly stored in isolated user entities, hampering its full value realization. In l…
cs.CR2023
Symbolic Security Verification of Mesh Commissioning Protocol in Thread (extended version)
Pankaj Upadhyay, Subodh Sharma, Guangdong Bai
The Thread protocol (or simply Thread ) is a popular networking protocol for the Internet of Things (IoT). It allows seamless integration of a set of applications and protocols, he…