Published January 15, 2025
| Version v2
Software
Open
CF-GKAT: Efficient Validation of Control-Flow Transformations (Artifact)
Authors/Creators
-
1.
University College London
-
2.
Leiden University
-
3.
Virginia Tech
- 4. Open Universiteit
Description
This is the artifact accompanying the article CF-GKAT: Efficient Validation of Control-Flow Transformations.
For more information on how to run the experiments, please refer to README.md (also included in the tarball).
Files
README.md
Files
(58.6 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:8bc9185ee5d638e6a95025723e3acddb
|
38.7 kB | Download |
|
md5:6a20f9e89ad723e8513c8942e340a1db
|
19.9 kB | Preview Download |
Additional details
Related works
- Is supplement to
- Conference paper: 10.1145/3704857 (DOI)
Funding
- European Commission
- VERLAN - Verification and Language Theory 101027412
- Dutch Research Council
- Characterizing Expressivity in Operational Semantics (ChEOpS) VI.Veni.232.286
- U.S. National Science Foundation
- CAREER: FormalDP: Formally Verified, Private, Accurate and Efficient Data Analysis 1845803
- U.S. National Science Foundation
- CAREER: FormalDP: Formally Verified, Private, Accurate and Efficient Data Analysis 2040249
- Defense Advanced Research Projects Agency
- N66001-21-C-4028
- Naval Information Warfare Center Pacific
- N66001-21-C-4028
- U.S. National Science Foundation
- SaTC: CORE: Small: Sound Automatic Exploit Generation 2234257