28 citations · 34 across the 4 of their papers we have counts for
5 papers
A Study of the Reliability of Agentic AI-Generated Programs
Ayesha Shafique, Barton P. MIller, Elisa R. Heymann
Agentic-AI based software development offers the promise of faster completion of the software, greater programmer efficiency, and more reliable code. The question is how can we ver…
Differential fuzz testing to detect tampering in sensor systems and its application to arms control authentication
Jayson R Vavrek, Luozhong Zhou, Joshua Boverhof +3
In future nuclear arms control treaties, it will be necessary to authenticate the hardware and software components of verification measurement systems, i.e., to ensure these system…
The Relevance of Classic Fuzz Testing: Have We Solved This One?
Barton P. Miller, Mengxiao Zhang, Elisa R. Heymann
As fuzz testing has passed its 30th anniversary, and in the face of the incredible progress in fuzz testing techniques and tools, the question arises if the classic, basic fuzz tec…
An In-Depth Security Assessment of Maritime Container Terminal Software Systems
Joseph O. Eichenhofer, Elisa Heymann, Barton P. Miller +1
Attacks on software systems occur world-wide on a daily basis targeting individuals, corporations, and governments alike. The systems that facilitate maritime shipping are at risk…
Trusted CI Experiences in Cybersecurity and Service to Open Science
Andrew Adams, Kay Avila, Jim Basney +16
This article describes experiences and lessons learned from the Trusted CI project, funded by the US National Science Foundation to serve the community as the NSF Cybersecurity Cen…