A NAND Use Case for Cybersecurity Experiments
The NAND Use Case provides challenge problems to researchers developing new techniques for recovering intended application-specific security properties from legacy software, modeling them in terms of application-specific abstractions, and reasoning about correctness with respect to those properties.
Authors
- Mark Wutka
- Qingkai Shi (ORCID: https://orcid.org/0000-0002-8297-8998)
- Timothy Fraser (ORCID: https://orcid.org/0000-0002-4509-0244)
- Zhong Shao (ORCID: https://orcid.org/0000-0001-8184-7649)
- Daniel Balasubramanian (ORCID: https://orcid.org/0000-0002-7531-0594)
- Xuwei Liu (ORCID: https://orcid.org/0009-0000-5319-1160)
- Hao Chen (ORCID: https://orcid.org/0009-0001-6480-7976)
- Xiangyu Zhang (ORCID: https://orcid.org/0000-0003-0170-0837)
Institutions
- Vanderbilt University (US)
- Purdue University West Lafayette (US)
- Yale University (US)
Publication Details
- Published
- 2024-10-07
- DOI
- https://doi.org/10.1109/secdev61143.2024.00022
- Primary Topic
- Information and Cyber Security
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- Defense Advanced Research Projects Agency