Miranda, Diego, and Victor Takashi Hayashi.
" Static analysis for Ladder Logic Bombs (LLB) detection in Programmable Logic Controllers (PLC)." <em>Anais do XXVI Simpósio Brasileiro de Cibersegurança,
Armação dos Búzios/RJ, 2026</em>. SBC, 2026,  
pp.1105-1117.