Topic: automated vulnerability detection

DARPA Announces $4M AI Cyber Challenge Winners in Security Showdown

Team Atlanta won DARPA's AI Cyber Challenge (AIxCC) with a $4 million prize, developing AI solutions for critical infrastructure protection with experts from Georgia Tech and Samsung Research. Trail of Bits and Theori secured second and third place, contributing open-source cyber reasoning system...