A Protocol for Secure Data Search in Cloud-Edge-End Collaboration with Formal Verification.

Xuejian Li, Hong Lv, Mingguang Wang, Hantao Xia

Browse the full SMC paper archive.