使用F*安全保护已验证的IO程序免受未经验证的代码的攻击
摘要：SCIO*: 静态验证部分程序的正式安全编译框架的介绍
作者：Cezar-Constantin Andrici, Stefan Ciobaca, Catalin Hritcu, Guido Mart''inez, Exequiel Rivas, ''Eric Tanter, Th''eo Winterhalter
论文ID：2303.01350
分类：Programming Languages
分类简称：cs.PL
提交时间：2023-07-13