@misc{indiciae9ce45de1da70, title = {Bypassing Hardware Constraints in ICS Malware via Concolic Execution.}, author = {Ike, Moses and Sam Lovejoy, Brendan Saltaformaggio}, year = {2021}, url = {https://www.osti.gov/biblio/1860300}, note = {Source identifier: 1860300} }