Geguang Pu

C2Btor outperforms traditional verification tools by leveraging hardware model checking, solving 101 more tasks than CBMC in a rigorous benchmark evaluation.

LLM agents controlling real-world tools are alarmingly easy to manipulate, with an 85% success rate for privilege escalation attacks, despite exhibiting basic security awareness.