首页> 外文OA文献 >A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs

【2h】

A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs

机译：一种杂种方法来正式验证高阶屏蔽算术计划

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Pengfei Gao; Hongyi Xie; Fu Song; Taolue Chen;
展开▼
作者单位

展开▼
年度 2021
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs [J] . PENGFEI GAO, HONCYI XIE, FU SONG, ACM transactions on software engineering and methodology . 2021,第3期

机译：一种混合方法来进行高阶屏蔽算术计划的正式验证
2. Formal Approach for Verifying Galois Field Arithmetic Circuits of Higher Degrees [J] . Rei Ueno, Naofumi Homma, Yukihiro Sugawara, IEEE Transactions on Computers . 2017,第3期

机译：验证高次Galois场算术电路的形式化方法
3. C-SHORe A Collapsible Approach to Verifying Higher-Order Programs [J] . Christopher Broadbent, Arnaud Carayol, Matthew Hague, ACM SIGPLAN Notices: A Monthly Publication of the Special Interest Group on Programming Languages . 2013,第9期

机译：C-SHORe一种验证高阶程序的可折叠方法
4. Quantitative Verification of Masked Arithmetic Programs Against Side-Channel Attacks [C] . Pengfei Gao, Hongyi Xie, Jun Zhang, International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software . 2019

机译：掩蔽算术程序针对边信道攻击的定量验证
5. A Higher-Order Abstract Syntax Approach to the Verified Compilation of Functional Programs. [D] . Wang, Yuting. 2016

机译：经验证的功能程序编译的高阶抽象语法方法。
6. Non-symbolic arithmetic abilities and achievement in the first year of formal schooling in mathematics [O] . Camilla K. Gilmore, Shannon E. McCarthy, Elizabeth S. Spelke -1

机译：非符号运算能力和成就在数学正规学校教育的第一年
7. Formal verification of a program obfuscation based on mixed Boolean-arithmetic expressions [O] . Sandrine Blazy, Rémi Hutin 2019

机译：基于混合布尔算术表达式的程序混淆的正式验证
8. Formal verification and testing: An integrated approach to validating Ada programs [R] . Cohen, Norman H. 1986

机译：正式验证和测试：验证ada程序的综合方法

A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs

著录项

引文网络

相似文献

相关主题

期刊订阅