%0 Conference Paper %1 conf/host/AzarKFT22 %A Azar, Kimia Zamiri %A Kamali, Hadi Mardani %A Farahmandi, Farimah %A Tehranipoor, Mark M. %B HOST %D 2022 %I IEEE %K dblp %P 13-16 %T Warm Up before Circuit De-obfuscation? An Exploration through Bounded-Model-Checkers. %U http://dblp.uni-trier.de/db/conf/host/host2022.html#AzarKFT22 %@ 978-1-6654-8532-6

@inproceedings{conf/host/AzarKFT22, added-at = {2022-08-15T00:00:00.000+0200}, author = {Azar, Kimia Zamiri and Kamali, Hadi Mardani and Farahmandi, Farimah and Tehranipoor, Mark M.}, biburl = {https://www.bibsonomy.org/bibtex/2619c2055a546f2e78a723619adb473fb/dblp}, booktitle = {HOST}, crossref = {conf/host/2022}, ee = {https://doi.org/10.1109/HOST54066.2022.9840134}, interhash = {d60b88b50a407afd7521a548b89a1deb}, intrahash = {619c2055a546f2e78a723619adb473fb}, isbn = {978-1-6654-8532-6}, keywords = {dblp}, pages = {13-16}, publisher = {IEEE}, timestamp = {2024-04-09T23:07:19.000+0200}, title = {Warm Up before Circuit De-obfuscation? An Exploration through Bounded-Model-Checkers.}, url = {http://dblp.uni-trier.de/db/conf/host/host2022.html#AzarKFT22}, year = 2022 }