Towards the Co-evolution of Models, Code, and Assurance Cases: The CAID Framework. - Patrik Meijer; Nag Mahadevan; Mark Wutka; Gabor Karsai (MoDELS (Companion), 2024)

A NAND Use Case for Cybersecurity Experiments. - Timothy Fraser; Xuwei Liu; Qingkai Shi; Xiangyu Zhang 001; Mark Wutka; Daniel Balasubramanian; Hao Chen 023; Zhong Shao 001 (SecDev, 2024)