Search papers, labs, and topics across Lattice.
Affiliation:
3
0
4
3
LLMs lack robust accountability structures, with four critical gaps that could lead to unchecked harm in high-stakes environments.
Uncovering hidden malicious logic in PLC programs, ESBMC-LLB achieves 99% detection accuracy of Ladder Logic Bombs without any false positives.
Naive verification methods for PLCs can produce 44% false alarms due to unrealistic sensor models, but a new hardware-faithful approach eliminates these errors entirely.
