This page shows all presentations of this author published in EasyChair Smart Slide.
A Permission-Dependent Type System for Secure Information Flow Analysis
Hongxu Chen, Alwen Tiu, Zhiwu Xu and Yang Liu