%0 Conference Paper %1 conf/date/SubramanyanA14 %A Subramanyan, Pramod %A Arora, Divya %B DATE %D 2014 %E Fettweis, Gerhard P. %E Nebel, Wolfgang %I European Design and Automation Association %K dblp %P 1-2 %T Formal verification of taint-propagation security properties in a commercial SoC design. %U http://dblp.uni-trier.de/db/conf/date/date2014.html#SubramanyanA14 %@ 978-3-9815370-2-4

@inproceedings{conf/date/SubramanyanA14, added-at = {2017-05-23T00:00:00.000+0200}, author = {Subramanyan, Pramod and Arora, Divya}, biburl = {https://www.bibsonomy.org/bibtex/259f114c130592a86bcab98f1b13d2562/dblp}, booktitle = {DATE}, crossref = {conf/date/2014}, editor = {Fettweis, Gerhard P. and Nebel, Wolfgang}, ee = {http://dl.acm.org/citation.cfm?id=2617057}, interhash = {115ded3c6adcb4b8a35e94ade9dd7778}, intrahash = {59f114c130592a86bcab98f1b13d2562}, isbn = {978-3-9815370-2-4}, keywords = {dblp}, pages = {1-2}, publisher = {European Design and Automation Association}, timestamp = {2017-12-07T22:59:13.000+0100}, title = {Formal verification of taint-propagation security properties in a commercial SoC design.}, url = {http://dblp.uni-trier.de/db/conf/date/date2014.html#SubramanyanA14}, year = 2014 }