%0 Conference Paper %1 conf/host/GuoDMJ16 %A Guo, Xiaolong %A Dutta, Raj Gautam %A Mishra, Prabhat %A Jin, Yier %B HOST %D 2016 %E Robinson, William H. %E Bhunia, Swarup %E Kastner, Ryan %I IEEE Computer Society %K dblp %P 124-129 %T Scalable SoC trust verification using integrated theorem proving and model checking. %U http://dblp.uni-trier.de/db/conf/host/host2016.html#GuoDMJ16 %@ 978-1-4673-8826-9

@inproceedings{conf/host/GuoDMJ16, added-at = {2023-03-24T00:00:00.000+0100}, author = {Guo, Xiaolong and Dutta, Raj Gautam and Mishra, Prabhat and Jin, Yier}, biburl = {https://www.bibsonomy.org/bibtex/2d9f199f7cc524d5c7a16e21144a24f10/dblp}, booktitle = {HOST}, crossref = {conf/host/2016}, editor = {Robinson, William H. and Bhunia, Swarup and Kastner, Ryan}, ee = {https://doi.ieeecomputersociety.org/10.1109/HST.2016.7495569}, interhash = {bfc2874f38168a08f6f0d6df0a77196d}, intrahash = {d9f199f7cc524d5c7a16e21144a24f10}, isbn = {978-1-4673-8826-9}, keywords = {dblp}, pages = {124-129}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T12:54:35.000+0200}, title = {Scalable SoC trust verification using integrated theorem proving and model checking.}, url = {http://dblp.uni-trier.de/db/conf/host/host2016.html#GuoDMJ16}, year = 2016 }