| 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 | 446 | 2019 |
| Taint analysis of security code in the KLEE symbolic execution engine R Corin, FA Manzano International Conference on Information and Communications Security, 264-275, 2012 | 35 | 2012 |
| Efficient symbolic execution for analysing cryptographic protocol implementations R Corin, FA Manzano International Symposium on Engineering Secure Software and Systems, 58-72, 2011 | 32 | 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 | 13 | 2022 |
| The symbolic maze FA Manzano Feliam’s Blog, 2010 | 8 | 2010 |
| Are blockchains decentralized? E Sultanik, A Remie, F Manzano, T Brunson, S Moelius, E Kilmer, ... Trail Of Bits, 2022 | 7 | 2022 |
| Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts. arXiv 2019 M Mossberg, F Manzano, E Hennenfent, A Groce, G Grieco, J Feist, ... arXiv preprint arXiv:1907.03890, 0 | 5 | |
