%0 Conference Paper %1 conf/sec/ChenPKI04 %A Chen, Shuo %A Pattabiraman, Karthik %A Kalbarczyk, Zbigniew %A Iyer, Ravishankar K. %B SEC %D 2004 %E Deswarte, Yves %E Cuppens, Frédéric %E Jajodia, Sushil %E Wang, Lingyu %I Kluwer / Springer %K dblp %P 83-100 %T Formal Reasoning of Various Categories of Widely Exploited Security Vulnerabilities by Pointer Taintedness Semantics. %U http://dblp.uni-trier.de/db/conf/sec/sec2004.html#ChenPKI04 %V 147 %@ 1-4020-8142-1

@inproceedings{conf/sec/ChenPKI04, added-at = {2014-07-24T00:00:00.000+0200}, author = {Chen, Shuo and Pattabiraman, Karthik and Kalbarczyk, Zbigniew and Iyer, Ravishankar K.}, biburl = {https://www.bibsonomy.org/bibtex/2f05d7c4ec14cb16116cb22a0124d76f6/dblp}, booktitle = {SEC}, crossref = {conf/sec/2004}, editor = {Deswarte, Yves and Cuppens, Frédéric and Jajodia, Sushil and Wang, Lingyu}, ee = {http://dx.doi.org/10.1007/1-4020-8143-X_6}, interhash = {45ea5c56c7ac6a882cfde25c3ee0cc0d}, intrahash = {f05d7c4ec14cb16116cb22a0124d76f6}, isbn = {1-4020-8142-1}, keywords = {dblp}, pages = {83-100}, publisher = {Kluwer / Springer}, series = {IFIP}, timestamp = {2015-06-19T12:01:11.000+0200}, title = {Formal Reasoning of Various Categories of Widely Exploited Security Vulnerabilities by Pointer Taintedness Semantics.}, url = {http://dblp.uni-trier.de/db/conf/sec/sec2004.html#ChenPKI04}, volume = 147, year = 2004 }