%0 Conference Paper %1 conf/dac/GuoDJFM15 %A Guo, Xiaolong %A Dutta, Raj Gautam %A Jin, Yier %A Farahmandi, Farimah %A Mishra, Prabhat %B DAC %D 2015 %I ACM %K dblp %P 145:1-145:6 %T Pre-silicon security verification and validation: a formal perspective. %U http://dblp.uni-trier.de/db/conf/dac/dac2015.html#GuoDJFM15 %@ 978-1-4503-3520-1

@inproceedings{conf/dac/GuoDJFM15, added-at = {2024-05-07T00:00:00.000+0200}, author = {Guo, Xiaolong and Dutta, Raj Gautam and Jin, Yier and Farahmandi, Farimah and Mishra, Prabhat}, biburl = {https://www.bibsonomy.org/bibtex/283e5321dfead5e7bf6f8456605430c76/dblp}, booktitle = {DAC}, crossref = {conf/dac/2015}, ee = {https://doi.org/10.1145/2744769.2747939}, interhash = {6b46e713311b3e0756d158dd18643fb3}, intrahash = {83e5321dfead5e7bf6f8456605430c76}, isbn = {978-1-4503-3520-1}, keywords = {dblp}, pages = {145:1-145:6}, publisher = {ACM}, timestamp = {2024-05-13T08:35:23.000+0200}, title = {Pre-silicon security verification and validation: a formal perspective.}, url = {http://dblp.uni-trier.de/db/conf/dac/dac2015.html#GuoDJFM15}, year = 2015 }