Published July 7, 2026 | Version v1
Dataset Open

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

Authors/Creators

  • 1. ROR icon Hanyang University
  • 2. ROR icon Chungnam National University

Description

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

Files

promba-rcr.zip

Files (28.6 MB)

Name Size
md5:c68df8ff9fd4d19d6525f0cfb2be9837
28.6 MB Preview Download

Additional details

Software

Repository URL
https://github.com/astean1001/ProMBA
Programming language
OCaml , Python
Development Status
Active