Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Affiliation:
1
0
1
AI agents not only accelerated the verification of liblzma's memory safety but also uncovered critical vulnerabilities in its zero-input handling.