@INPROCEEDINGS{5513115, author={Koushanfar, F and Alkabani, Y.}, booktitle={Hardware-Oriented Security and Trust (HOST), 2010 IEEE International Symposium on}, title={Provably secure obfuscation of diverse watermarks for sequential circuits}, year={2010}, pages={42-47}, keywords={iterative methods;logic design;public key cryptography;sequential circuits;watermarking;attack resiliency;embedding multiple watermarks;iterative synthesis method;multiple watermark hiding;provable obfuscation;provably secure obfuscation method;public key cryptography system;sequential circuits;watermark property analysis;Algorithm design and analysis;Automata;Companies;Embedded computing;Intellectual property;Protection;Public key cryptography;Security;Sequential circuits;Watermarking}, doi={10.1109/HST.2010.5513115},}@INPROCEEDINGS{5513115, author={Koushanfar, F and Alkabani, Y.}, booktitle={Hardware-Oriented Security and Trust (HOST), 2010 IEEE International Symposium on}, title={Provably secure obfuscation of diverse watermarks for sequential circuits}, year={2010}, pages={42-47}, keywords={iterative methods;logic design;public key cryptography;sequential circuits;watermarking;attack resiliency;embedding multiple watermarks;iterative synthesis method;multiple watermark hiding;provable obfuscation;provably secure obfuscation method;public key cryptography system;sequential circuits;watermark property analysis;Algorithm design and analysis;Automata;Companies;Embedded computing;Intellectual property;Protection;Public key cryptography;Security;Sequential circuits;Watermarking}, doi={10.1109/HST.2010.5513115},}