Search papers, labs, and topics across Lattice.
2
0
3
7
A framework for evaluating vulnerability reports via probes, executable checks of security properties, which surfaced 23 previously unreported vulnerabilities, the majority of which have been confirmed by maintainers.
Antiproof uncovers hundreds of previously unknown vulnerabilities, including critical zero-days that could compromise LLM training and inference systems.
