Ricardo Corin, Felipe Andrés Manzano. Taint Analysis of Security Code in the KLEE Symbolic Execution Engine. In Tat Wing Chim, Tsz Hon Yuen, editors, Information and Communications Security - 14th International Conference, ICICS 2012, Hong Kong, China, October 29-31, 2012. Proceedings. Volume 7618 of Lecture Notes in Computer Science, pages 264-275, Springer, 2012. [doi]
@inproceedings{CorinM12, title = {Taint Analysis of Security Code in the KLEE Symbolic Execution Engine}, author = {Ricardo Corin and Felipe Andrés Manzano}, year = {2012}, doi = {10.1007/978-3-642-34129-8_23}, url = {http://dx.doi.org/10.1007/978-3-642-34129-8_23}, researchr = {https://researchr.org/publication/CorinM12}, cites = {0}, citedby = {0}, pages = {264-275}, booktitle = {Information and Communications Security - 14th International Conference, ICICS 2012, Hong Kong, China, October 29-31, 2012. Proceedings}, editor = {Tat Wing Chim and Tsz Hon Yuen}, volume = {7618}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-642-34128-1}, }