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]
Abstract is missing.