Published February 14, 2025
| Version 2.0.0
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 and scripts to reproduce the grammar for 17 benchmark programs in the paper
Files
doppler-artifact.zip
Files
(25.3 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:5d5c7f502fbbc2693076257fc543624f
|
25.3 MB | Preview Download |
Additional details
Dates
- Available
-
2025-01
Software
- Repository URL
- https://github.com/verse-lab/doppler
- Programming language
- C++