Formal Modeling and Security Analysis for Intra-level Privilege Separation.

Yinggang Guo, Zicheng Wang, Bingnan Zhong, Qingkai Zeng

Browse the full ACSAC paper archive.