Felipe Andrés Manzano

Publication Activity (10 Years)

Years Active: 2011-2012
Publications (10 Years): 0

Top Topics

Multi Dimensional

Execution Engine

Top Venues

Publications

Ricardo Corin, Felipe Andrés Manzano
Taint Analysis of Security Code in the KLEE Symbolic Execution Engine. ICICS (2012)
Ricardo Corin, Felipe Andrés Manzano
Efficient Symbolic Execution for Analysing Cryptographic Protocol Implementations. ESSoS (2011)