1. Smt attack: Next generation attack on obfuscated circuits with capabilities and performance beyond the sat attacks;azar;1ACR Transactions on Cryptographic Hardware and Embedded Systems,2019
2. Keynote: A disquisition on logic locking;chakraborty;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems,2019
3. Logic locking for secure outsourced chip fabrication: A new attack and provably secure defense mechanism;massad,2017
4. Evaluating the security of logic encryption algorithms
5. Gurobi Optimizer Reference Manual,2022