P-Verifier: Understanding and Mitigating Security Risks in Cloud-based IoT Access Policies.

Ze Jin, Luyi Xing, Yiwei Fang, Yan Jia, Bin Yuan, Qixu Liu

Browse the full CCS paper archive.