1 citations · 1 across the 1 of their papers we have counts for
4 papers · 1 filter
AutoSOUP: Safety-Oriented Unit Proof Generation for Component-level Memory-Safety Verification
Paschal C. Amusuo, Ricardo Calvo, Dharun Anandayuvaraj +5
Memory-safety errors remain a persistent source of zero-day vulnerabilities in low-level software. The problem is especially acute in embedded systems, where hardware protections a…
Learning From Software Failures: A Case Study at a National Space Research Center
Dharun Anandayuvaraj, Tanmay Singla, Zain Hammadeh +3
Software failures can have significant consequences, making learning from failures a critical aspect of software engineering. While software organizations are recommended to conduc…
FAIL: Analyzing Software Failures from the News Using LLMs
Dharun Anandayuvaraj, Matthew Campbell, Arav Tewari +1
Software failures inform engineering work, standards, regulations. For example, the Log4J vulnerability brought government and industry attention to evaluating and securing softwar…
On the Contents and Utility of IoT Cybersecurity Guidelines
Jesse Chen, Dharun Anandayuvaraj, James C Davis +1
Cybersecurity concerns of Internet of Things (IoT) devices and infrastructure are growing each year. In response, organizations worldwide have published IoT security guidelines to…