%0 Conference Paper %1 conf/hldvt/HaoB09 %A Hao, J. %A Bertacco, Valeria %B HLDVT %D 2009 %I IEEE Computer Society %K dblp %P 54-59 %T PowerRanger: Assessing circuit vulnerability to power attacks using SAT-based static analysis. %U http://dblp.uni-trier.de/db/conf/hldvt/hldvt2009.html#HaoB09 %@ 978-1-4244-4823-4

@inproceedings{conf/hldvt/HaoB09, added-at = {2017-05-25T00:00:00.000+0200}, author = {Hao, J. and Bertacco, Valeria}, biburl = {https://www.bibsonomy.org/bibtex/2d2fdf370ab1449d28f68c502937863f8/dblp}, booktitle = {HLDVT}, crossref = {conf/hldvt/2009}, ee = {https://doi.org/10.1109/HLDVT.2009.5340174}, interhash = {5a7736d9d8877473ff681370df5fd930}, intrahash = {d2fdf370ab1449d28f68c502937863f8}, isbn = {978-1-4244-4823-4}, keywords = {dblp}, pages = {54-59}, publisher = {IEEE Computer Society}, timestamp = {2019-10-17T17:36:37.000+0200}, title = {PowerRanger: Assessing circuit vulnerability to power attacks using SAT-based static analysis.}, url = {http://dblp.uni-trier.de/db/conf/hldvt/hldvt2009.html#HaoB09}, year = 2009 }