Search papers, labs, and topics across Lattice.
2
0
3
1
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.
