Efficient Symbolic Execution for Analysing Cryptographic Protocol Implementations. - Ricardo Corin; Felipe Andrés Manzano (ESSoS, 2011)

Taint Analysis of Security Code in the KLEE Symbolic Execution Engine. - Ricardo Corin; Felipe Andrés Manzano (ICICS, 2012)