Fowze, F., Choudhury, M., & Forte, D. (2022). EISec: Exhaustive Information Flow Security of Hardware Intellectual Property Utilizing Symbolic Execution. In (pp. 1–6). http://doi.org/10.1109/AsianHOST56390.2022.10022071 (Original work published 2025)