Publications
Filters: Author is Felipe Andrés Manzano [Clear All Filters]
, “Taint Analysis of Security Code in the KLEE Symbolic Execution Engine”, in Information and Communications Security - 14th International Conference, ICICS 2012, Hong Kong, China, October 29-31, 2012. Proceedings, 2012, pp. 264-275.
, “Efficient Symbolic Execution for Analysing Cryptographic Protocol Implementations”, in Engineering Secure Software and Systems - Third International Symposium, ESSoS 2011, Madrid, Spain, February 9-10, 2011. Proceedings, 2011, pp. 58-72.