Replicated Computational Results Artifact for Simplifying Mixed Boolean-Arithmetic Obfuscation by Program Synthesis and Equality Saturation

Name: Replicated Computational Results Artifact for Simplifying Mixed Boolean-Arithmetic Obfuscation by Program Synthesis and Equality Saturation
Creator: Zenodo
Published: 2026-07-07T14:45:45+08:00

Zenodo2026-07-07 更新2026-08-02 收录

数据链接：

https://zenodo.org/doi/10.5281/zenodo.21241876 数据链接链接失效反馈

官方服务：

资源简介：

Replicated computational results artifact for the TOSEM 2026 paper "Simplifying Mixed Boolean-Arithmetic Obfuscation by Program Synthesis and Equality Saturation"

提供机构：

Zenodo

创建时间：

2026-07-07