首页> 外文OA文献 >Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level

【2h】

Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level

机译：BINSEC / REL：高效关系符号执行，用于二进制级别的恒定时间

代理获取

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

页面导航

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

著录项

作者
Lesly-Ann Daniel; Sebastien Bardin; Tamara Rezk;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

1. Relational symbolic execution of SQL code for unit testing of database programs [J] . Michaeel Marcozzi, Wim Vanhoof, Jean-Luc Hainaut Science of Computer Programming . 2015,第jula1期

机译：SQL代码的关系符号执行，用于数据库程序的单元测试
2. The Symbolic Execution Debugger (SED): a platform for interactive symbolic execution, debugging, verification and more [J] . Hentschel Martin, Bubel Richard, Haehnle Reiner International Journal on Software Tools for Technology Transfer . 2019,第5期

机译：符号执行调试器（SED）：用于交互式符号执行，调试，验证等的平台
3. Efficient and Scalable Graph Parallel Processing With Symbolic Execution [J] . Zheng Long, Liao Xiaofei, Jin Hai ACM Transactions on Architecture and Code Optimization . 2018,第1期

机译：具有符号执行的高效和可扩展的图形并行处理
4. Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level [C] . Lesly-Ann Daniel, Sébastien Bardin, Tamara Rezk IEEE Symposium on Security and Privacy . 2020

机译：Binsec / Rel：二进制级别的恒定时间的有效关系符号执行
5. XML2REL: An efficient system for storing and querying XML documents using relational databases [D] . Atay, Mustafa 2006

机译：XML2REL：使用关系数据库存储和查询XML文档的有效系统
6. v-rel induces expression of three avian immunoregulatory surface receptors more efficiently than c-rel. [O] . R Hrdlicková, J Nehyba, E H Humphries 1994

机译：v-rel比c-rel更有效地诱导了三种禽类免疫调节表面受体的表达。
7. Coupled Relational Symbolic Execution for Differential Privacy [O] . Marco Gaboardi, Gian Pietro Farina, Stephen Chong 2021

机译：耦合关联隐私的关系符号执行
8. ASAP to REL: Efficient Relational Data Bases from Very Large Files. [R] . Buneman, O. P., Morgan, H. L. 1975

机译：尽快到REL：来自超大文件的高效关系数据库。

Binsec/Rel: Efficient Relational Symbolic Execution for Constant-Time at Binary-Level

著录项

引文网络

相似文献

相关主题

期刊订阅