Published 2026 | Version v2
Software Open

Efficient Symbolic Execution of Software under Fault Attacks

Authors/Creators

  • 1. ROR icon University of Southern California
  • 2. EDMO icon Purdue University

Description

Files

ecoop46_artifact.zip

Files (129.8 MB)

Name Size Download all
md5:76ceeaa2a8bd59aef9eaeb19de9cdb1f
129.7 MB Preview Download
md5:5d1dc634a93ef97f7543f51a117104c2
1.6 kB Preview Download

Additional details

Related works

Is supplement to
Conference paper: 10.4230/LIPIcs.ECOOP.2026.16 (DOI)

Software

Programming language
C , C++ , Python