上海交大研究生院主页平台管理系统汪宇霆--中文主页-- Formal End-to-End Verification of Information-Flow Security for Complex Systems

汪宇霆

副教授

所在单位：电子信息与电气工程学院

学科：计算机软件与理论(081202)

职称：副教授

电子邮箱：yuting.wang@sjtu.edu.cn

教师主页二维码

手机版

常用链接

科研项目

当前位置: 中文主页 - 科学研究 - 科研项目

Formal End-to-End Verification of Information-Flow Security for Complex Systems

发布时间：2020-05-07

项目参与人员：汪宇霆

学科门类：计算机科学技术基础学科

结项日期：2020-12-01

开始日期：2017-01-01

上一条：系统软件平台端到端正确性的验证方法研究

下一条：A Higher-Order Framework for Meta-Theoretic Reasoning

沪ICP备05052060 版权所有©上海交通大学

访问人数： | 开通时间：--

最近更新时间：--