%0 Journal Article %1 journals/tifs/AzarKFT24 %A Azar, Kimia Zamiri %A Kamali, Hadi Mardani %A Farahmandi, Farimah %A Tehranipoor, Mark M. %D 2024 %J IEEE Trans. Inf. Forensics Secur. %K dblp %P 2771-2785 %T Improving Bounded Model Checkers Scalability for Circuit De-Obfuscation: An Exploration. %U http://dblp.uni-trier.de/db/journals/tifs/tifs19.html#AzarKFT24 %V 19

@article{journals/tifs/AzarKFT24, added-at = {2024-02-29T00:00:00.000+0100}, author = {Azar, Kimia Zamiri and Kamali, Hadi Mardani and Farahmandi, Farimah and Tehranipoor, Mark M.}, biburl = {https://www.bibsonomy.org/bibtex/2b477742f73faa0e29e921f6d63560c1b/dblp}, ee = {https://doi.org/10.1109/TIFS.2024.3357286}, interhash = {1c9651cd5d7f643b6254ed4c4c6f302e}, intrahash = {b477742f73faa0e29e921f6d63560c1b}, journal = {IEEE Trans. Inf. Forensics Secur.}, keywords = {dblp}, pages = {2771-2785}, timestamp = {2024-04-09T02:51:48.000+0200}, title = {Improving Bounded Model Checkers Scalability for Circuit De-Obfuscation: An Exploration.}, url = {http://dblp.uni-trier.de/db/journals/tifs/tifs19.html#AzarKFT24}, volume = 19, year = 2024 }