https://confidentialcomputing.io/webinar-veracruz/
摘要
Veracruz框架,用于定义灵活高效的多方计算。Veracruz旨在支持高级加密技术的常见用例,如同态加密、安全多方计算等。
在Github了解更多关于Veracruz的信息https://github.com/veracruz-p...
关键议题
- 项目目标和理念
- 简化客户端的证明
- 为 WASM 客户端抽象接口
- 嵌入式客户端
演讲者
克里斯托弗·哈斯特(Christopher Haster)
Arm研究工程师
Christopher Haster是Arm Research系统和安全组的研究工程师,也是Veracruz项目的成员。他专注于资源受限的设备,对非传统系统和语言感兴趣。他过去的工作包括LittleFS,一个有能量弹性的RAM文件系统,和Bento-box,一个用于在微控制器上划分软件的模块化系统。
德里克·米勒(Derek Miller)
Arm有限公司首席研究工程师
Derek Miller是Arm系统和安全组的首席研究工程师。他的背景包括实用密码学、保密计算机以及硬件和软件设计之间的界限。
多米尼克·穆利根(Dominic Mulligan)
Arm有限公司研究工程师
Dominic Mulligan是剑桥Arm research系统与安全组的研究工程师,也是Veracruz项目的成员。他的研究兴趣包括机密计算、分布式系统和形式化方法。
熊沙乐 -- 音译(Shale Xiong)
Arm研究工程师
Shale Xiong是Arm Research系统和安全组的研究工程师。他是韦拉克鲁斯项目的成员。在加入Arm之前,他获得了帝国理工学院计算系Verified Trusty Software Specification Group的计算机科学博士学位,导师是Philippa Gardner教授。