A NAND Use Case for Cybersecurity Experiments
Timothy Fraser, Xuwei Liu, Qingkai Shi, Xiangyu Zhang, Mark Wutka, Daniel Balasubramanian, Hao Chen, Zhong Shao · 2024
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.