Scifaro

中文

Transalg：将离散函数的过程描述翻译为 SAT 的工具

人工智能 2015-10-30 v2

作者: Ilya Otpuschennikov , Alexander Semenov , Stepan Kochemazov

在 arXiv 上查看 ↗ PDF ↗

摘要

本文介绍了 Transalg 系统，该系统旨在为用特定语言编写的离散函数程序生成 SAT 编码。此类程序到 SAT 的翻译基于形式计算模型的命题编码方法和符号执行概念。我们使用 Transalg 系统为多种密码学函数生成了 SAT 编码。

关键词

SAT 编码离散函数符号执行命题编码密码学函数 Transalg

引用

@article{arxiv.1405.1544,
  title  = {Transalg: a Tool for Translating Procedural Descriptions of Discrete Functions to SAT},
  author = {Ilya Otpuschennikov and Alexander Semenov and Stepan Kochemazov},
  journal= {arXiv preprint arXiv:1405.1544},
  year   = {2015}
}