| Manticore: A user-friendly symbolic execution framework for binaries and smart contracts M Mossberg, F Manzano, E Hennenfent, A Groce, G Grieco, J Feist, ... 2019 34th IEEE/ACM International Conference on Automated Software …, 2019 | 334 | 2019 |
| Taint analysis of security code in the KLEE symbolic execution engine R Corin, FA Manzano Information and Communications Security: 14th International Conference …, 2012 | 33 | 2012 |
| Efficient symbolic execution for analysing cryptographic protocol implementations R Corin, FA Manzano International Symposium on Engineering Secure Software and Systems, 58-72, 2011 | 27 | 2011 |
| Are Blockchains Decentralized?: Unintended Centralities in Distributed Ledgers E Sultanik, A Remie, F Manzano, T Brunson, S Moelius, E Kilmer, ... Trail of Bits, 2022 | 10 | 2022 |
| The symbolic maze FA Manzano Feliam’s Blog, 2010 | 7 | 2010 |
| Are blockchains decentralized? E Sultanik, A Remie, F Manzano, T Brunson, S Moelius, E Kilmer, ... Trail Of Bits, 2022 | 4 | 2022 |
