8月2日 张辰一:High-level Information Flow Policies for Secure Composition of MutuallyUntrusted Codebases

  

报告人简介:

  张辰一,2008年毕业于新南威尔士大学,曾工作于卢森堡大学、昆士兰大学、甲骨文实验室(Oracle Labs),2016年底起任职于暨南大学信息科学技术学院计算机科学系。研究方向包括形式化方法、计算机安全和静态程序分析。