Arm 熊沙乐研究工程师学术报告通知
报告题目:Is your code correct?
报告人:Arm,熊沙乐研究工程师
报告时间:2023年5月25日(周四)下午16:00
报告地点:犀浦校区3号教学楼31541
主持人:李天瑞教授
报告摘要:
The talk provides an overview of recent public work on verifying the specification and prototype of the Realm Management Monitor (RMM). The RMM is an essential firmware component of Arm Confidential Computing Architecture (Arm CCA), which is a recently announced Confidential Computing technology incorporated in the Armv9-A architecture. The second part of the talk introduces notable research contributions from various scholars in the field of formal verification over the past 20 years.
报告人介绍:
Shale Xiong is currently a research engineering at Arm, focusing on formal verification and information security. His work involves examining specifications, protocol designs, software implementations, and prototyping verification and validation strategies to enhance their quality and security. He received his PhD degree in Computer Science from Verified Trustworthy Software Specification Group at the Department of Computing, Imperial College, in 2019, and received his Bachelor’s degree in Software Engineering from Southwest Jiaotong University, China, in 2014.
相关文章
STRL 2024(2024年国际人工智能顶会IJCAI下属Workshop)征稿通知
会议名称:第三届时空推理和学习国际研讨会(国际人工智能顶会IJCAI 2024下属Workshop之一)会议官网:https://www.lirmm.fr/strl2024/会议时间:2024年8月(具体日期待定)会议地点:韩国济州岛参……
【学术讲座】开放世界中机器学习的自然鲁棒性
时间:2023年12月26日16:00-18:00地点:犀浦校区X31541报告厅主讲人:魏鸿鑫 主讲人简介: 魏鸿鑫,现任南方科技大学统计与数据科学系助理教授,博士生导师。他于2023年在新加坡南洋理工大学计算机科学系完成博……
利兹大学张旭博士学术报告通知
题 目: AI and Blockchain Empowered Metaverse for Web 3.0: Vision and Our Practices时 间: 2023年12月20日(星期三)16:00点地 ……