Enhancement and formal verification of the ICC mechanism with a sandbox approach in android system

Jiaqi Yin, Sini Chen, Yixiao Lv, Huibiao Zhu

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Enhancement and formal verification of the ICC mechanism with a sandbox approach in android system'. Together they form a unique fingerprint.

Computer Science