From Detection to Prevention: Explaining Security-Critical Code to Avoid Vulnerabilities

Krishnamurthy, Ranjith; Johnson, Oshando; Piskachev, Goran; Bodden, Eric

From Detection to Prevention: Explaining Security-Critical Code to Avoid Vulnerabilities (bibtex)

@inproceedings{krishnamurthy2026prevention,
  title={From Detection to Prevention: Explaining Security-Critical Code to Avoid Vulnerabilities},
  author={Krishnamurthy, Ranjith and Johnson, Oshando and Piskachev, Goran and Bodden, Eric},
  booktitle={Proceedings of the 3rd ACM/IEEE Workshop on Integrated Development Environments (IDE'26)},
  note = {To appear.},
  year={2026}
}