%0 Conference Paper %1 conf/sp/YangSTCE06 %A Yang, Junfeng %A Sar, Can %A Twohey, Paul %A Cadar, Cristian %A Engler, Dawson R. %B S&P %D 2006 %I IEEE Computer Society %K dblp %P 243-257 %T Automatically Generating Malicious Disks using Symbolic Execution. %U http://dblp.uni-trier.de/db/conf/sp/sp2006.html#YangSTCE06 %@ 0-7695-2574-1

@inproceedings{conf/sp/YangSTCE06, added-at = {2023-09-21T00:00:00.000+0200}, author = {Yang, Junfeng and Sar, Can and Twohey, Paul and Cadar, Cristian and Engler, Dawson R.}, biburl = {https://www.bibsonomy.org/bibtex/2877e2ca261632076aeb2a3ffe6895c08/dblp}, booktitle = {S&P}, crossref = {conf/sp/2006}, ee = {https://doi.ieeecomputersociety.org/10.1109/SP.2006.7}, interhash = {39add03018735a58e0ae3317763c47b9}, intrahash = {877e2ca261632076aeb2a3ffe6895c08}, isbn = {0-7695-2574-1}, keywords = {dblp}, pages = {243-257}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T00:02:05.000+0200}, title = {Automatically Generating Malicious Disks using Symbolic Execution.}, url = {http://dblp.uni-trier.de/db/conf/sp/sp2006.html#YangSTCE06}, year = 2006 }