EasyChair Smart SlideDocs/Log in
Author: Zhiwu Xu

This page shows all presentations of this author published in EasyChair Smart Slide.

Towards `Verifying' a Water Treatment System

Towards `Verifying' a Water Treatment System

Jingyi Wang, Jun Sun, Yifan Jia, Shengchao Qin and Zhiwu Xu

A Permission-Dependent Type System for Secure Information Flow Analysis

A Permission-Dependent Type System for Secure Information Flow Analysis

Hongxu Chen, Alwen Tiu, Zhiwu Xu and Yang Liu

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair