Published January 28, 2025
| Version 1.1.2
Software
Open
Sound and Efficient Generation of Data-Oriented Exploits via Programming Language Synthesis (Artifact)
Authors/Creators
-
1.
National University of Singapore
-
2.
Yale-NUS College
Description
The artifact for the Doppler described in Usenix Security' 25 paper "Sound and Efficient Generation of Data-Oriented Exploits via Programming Language Synthesis".
Files include:
Dockerfile with reproducible build environment
Readme with getting started and step-by-step instructions
Source code and build files for Doppler
Instructions to reproduce the grammar for 17 benchmark programs in the paper
Files
doppler-artifact.zip
Files
(25.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:12a1e3478d445a931bd6a959fe11155a
|
25.3 MB | Preview Download |
Additional details
Dates
- Available
-
2025-01
Software
- Programming language
- C++