引用人
VanHattum A公司 帕德西M Fallin C公司 桑普森A 棕色F Tsafrir D公司 MUSUVATHI M系列 古普塔R Abu-Ghazaleh北部 (2024) WebAssembly到本机指令选择的轻量级模块化验证 第29届ACM国际编程语言和操作系统体系结构支持会议记录,第1卷 10.1145/3617232.3624862 (231-248) 在线发布日期:2024年4月27日 林Z 陈X Trinh M公司 王杰 罗什乌·G (2023) 为语言不可知演绎程序验证程序生成证明证书 美国计算机学会程序设计语言会议录 10.1145/3586029 7 :OOPSLA1 (56-84) 在线发布日期:2023年4月6日 周毅(Zhou Y) 吉布森S 蔡S Winchell M公司 帕尔诺B 孟W 延森C Cremers C公司 Kirda E公司 (2023) 加拉帕戈斯:在异构硬件上开发经验证的低级加密技术 2023年ACM SIGSAC计算机和通信安全会议记录 10.1145/3576915.3616603 (2113-2127) 在线发布日期:2023年11月15日 显示更多引用者