(Don’t) Trust, but (Don’t) Verify: Developers’ Attention to Security in AI-Generated Code

Publication
IEEE Symposium on Security and Privacy
Security Professionals Vulnerability Discovery Symbolic Execution