Publications

Filters: Author is Manzano, Felipe [Clear All Filters]

2012

R. Corin and F. Manzano, “Taint Analysis of Security Code in the KLEE Symbolic Execution Engine”, in 2012 International Conference on Information and Communications Security (ICICS), Hong Kong, 2012.

76180264 (1).pdf (252.37 KB)