Understanding Tool Synthesis Behavior and Safe Finite State Machine Design. - Katie Liszewski; Timothy McDonley (CoRR, 2021)

Netlist Decompilation Workflow for Recovered Design Verification, Validation, and Assurance. - Katie Liszewski; Tim McDonley; Josh Delozier; Andrew Elliott; Dylan Jones; Matthew Sutter; Adam G. Kimura (IACR Cryptol. ePrint Arch., 2021)