20 citations · 27 across the 7 of their papers we have counts for
6 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…
Incorporating Failure Knowledge into Design Decisions for IoT Systems: A Controlled Experiment on Novices
Dharun Anandayuvaraj, Pujita Thulluri, Justin Figueroa +2
Internet of Things (IoT) systems allow software to directly interact with the physical world. Recent IoT failures can be attributed to recurring software design flaws, suggesting I…
Reflecting on Recurring Failures in IoT Development
Dharun Anandayuvaraj, James C. Davis
As IoT systems are given more responsibility and autonomy, they offer greater benefits, but also carry greater risks. We believe this trend invigorates an old challenge of software…