Verifying constant-time implementations by abstract interpretation

机译：通过抽象解释验证恒定时间实现

代理获取

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

页面导航

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

著录项

作者
Sandrine Blazy; David Pichardie; Alix Trieu;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Verifying constant-time implementations by abstract interpretation [J] . Blazy Sandrine, Pichardie David, Trieu Alix Journal of computer security . 2019,第1期

机译：通过抽象解释验证恒定时间实现
2. Verifying constant-time implementations by abstract interpretation [J] . Blazy Sandrine, Pichardie David, Trieu Alix Journal of computer security . 2019,第1期

机译：通过抽象解释验证恒定时间实现
3. Special issue on the 16th International Conference on Verification, Model Checking, and Abstract Interpretation [J] . DSouza Deepak, Lal Akash Computer Languages, Systems & Structures . 2017,第pta1期

机译：第十六届国际验证，模型检验和抽象解释会议特刊
4. Verifying Constant-Time Implementations by Abstract Interpretation [C] . Sandrine Blazy, David Pichardie, Alix Trieu European symposium on research in computer security . 2017

机译：通过抽象解释验证恒定时间实现
5. Verifying Constant-Time Execution of Hardware [D] . Kici, Rami Gokhan. 2020

机译：验证硬件的常量执行
6. A new interpretation and quantitative method for diplopia test: 304 cases of ocular motor nerve palsy for clinical test and verify [O] . Ling-Yun Zhou, Tie-Juan Liu, Xue-Mei Li, 2017

机译：复视检查的新解释和定量方法：304例眼运动神经性麻痹进行临床检查和验证
7. Verifying Constant-Time Implementations by Abstract Interpretation [O] . Blazy, Sandrine, Pichardie, David, Trieu, Alix 2017

机译：通过抽象解释验证恒定时间实现

Verifying constant-time implementations by abstract interpretation

著录项

引文网络

相似文献

相关主题

期刊订阅