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 | 358 | 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 | 28 | 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 | 11 | 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 | 6 | 2022 |