8 citations · 16 across the 12 of their papers we have counts for
3 papers · 1 filter
Software Security Analysis in 2030 and Beyond: A Research Roadmap
Marcel Böhme, Eric Bodden, Tevfik Bultan +3
As our lives, our businesses, and indeed our world economy become increasingly reliant on the secure operation of many interconnected software systems, the software engineering res…
UEFI Vulnerability Signature Generation using Static and Symbolic Analysis
Md Shafiuzzaman, Achintya Desai, Laboni Sarker +1
Since its major release in 2006, the Unified Extensible Firmware Interface (UEFI) has become the industry standard for interfacing a computer's hardware and operating system, repla…
Assessing, Exploiting, and Mitigating Syntactic Robustness Failures in LLM-Based Code Generation
Laboni Sarker, Mara Downing, Achintya Desai +1
Rapid advances in the field of Large Language Models (LLMs) have made LLM-based code generation an important area for investigation. An LLM-based code generator takes a prompt as i…