2 citations · 2 across the 4 of their papers we have counts for
4 papers · 1 filter
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…
Program Analysis Guided LLM Agent for Proof-of-Concept Generation
Achintya Desai, Md Shafiuzzaman, Wenbo Guo +1
Software developers frequently receive vulnerability reports that require them to reproduce the vulnerability in a reliable manner by generating a proof-of-concept (PoC) input that…
Fuzzing the brain: Automated stress testing for the safety of ML-driven neurostimulation
Mara Downing, Matthew Peng, Jacob Granley +2
Objective: Machine learning (ML) models are increasingly used to generate electrical stimulation patterns in neuroprosthetic devices such as visual prostheses. While these models p…
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…