%0 Journal Article %1 journals/corr/abs-1812-05446 %A Khalid, Faiq %A Abbassi, Imran Hafeez %A Rehman, Semeen %A Hasan, Osman %A Shafique, Muhammad %D 2018 %J CoRR %K dblp %T ForASec: Formal Analysis of Security Vulnerabilities in Sequential Circuits. %U http://dblp.uni-trier.de/db/journals/corr/corr1812.html#abs-1812-05446 %V abs/1812.05446

@article{journals/corr/abs-1812-05446, added-at = {2019-01-01T00:00:00.000+0100}, author = {Khalid, Faiq and Abbassi, Imran Hafeez and Rehman, Semeen and Hasan, Osman and Shafique, Muhammad}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2ae7d0a396a671e62568791c5eabbf92b/dblp}, ee = {http://arxiv.org/abs/1812.05446}, interhash = {799afbc9d199637b1fa2ace40d0e8a13}, intrahash = {ae7d0a396a671e62568791c5eabbf92b}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-09-27T10:20:01.000+0200}, title = {ForASec: Formal Analysis of Security Vulnerabilities in Sequential Circuits.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1812.html#abs-1812-05446}, volume = {abs/1812.05446}, year = 2018 }