| Slither: A Static Analysis Framework For Smart Contracts J Feist, G Grieco, A Groce WETSEB 2019, 2019 | 742* | 2019 |
| 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 | 426 | 2019 |
| Toward large-scale vulnerability discovery using machine learning G Grieco, GL Grinblat, L Uzal, S Rawat, J Feist, L Mounier Proceedings of the sixth ACM conference on data and application security and …, 2016 | 326 | 2016 |
| Echidna: effective, usable, and fast fuzzing for smart contracts G Grieco, W Song, A Cygan, J Feist, A Groce Proceedings of the 29th ACM SIGSOFT international symposium on software …, 2020 | 212 | 2020 |
| Statically detecting use after free on binary code J Feist, L Mounier, ML Potet Journal of Computer Virology and Hacking Techniques 10 (3), 211-217, 2014 | 114 | 2014 |
| BINSEC/SE: A dynamic symbolic execution toolkit for binary-level analysis R David, S Bardin, TD Ta, L Mounier, J Feist, ML Potet, JY Marion 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and …, 2016 | 112 | 2016 |
| What are the actual flaws in important smart contracts (and how can we find them)? A Groce, J Feist, G Grieco, M Colburn Financial Cryptography and Data Security: 24th International Conference, FC …, 2020 | 45 | 2020 |
| Finding the needle in the heap: combining static analysis and dynamic symbolic execution to trigger use-after-free J Feist, L Mounier, S Bardin, R David, ML Potet Proceedings of the 6th Workshop on Software Security, Protection, and …, 2016 | 42 | 2016 |
| Specification of concretization and symbolization policies in symbolic execution R David, S Bardin, J Feist, L Mounier, ML Potet, TD Ta, JY Marion Proceedings of the 25th International Symposium on Software Testing and …, 2016 | 37 | 2016 |
| Evaluating and improving static analysis tools via differential mutation analysis A Groce, I Ahmed, J Feist, G Grieco, J Gesi, M Meidani, Q Chen 2021 IEEE 21st International Conference on Software Quality, Reliability and …, 2021 | 28 | 2021 |
| Guided dynamic symbolic execution using subgraph control-flow information J Feist, L Mounier, ML Potet Software Engineering and Formal Methods: 14th International Conference, SEFM …, 2016 | 10 | 2016 |
| Finding the needle in the heap: Combining binary analysis techniques to trigger use-after-free J Feist Université Grenoble Alpes, 2017 | 2 | 2017 |
| Combining static analyses for helping detection and exploitability vulnerabilities in binary code L Mounier, J Feist, ML Potet, S Rawat | | 2013 |
| WETSEB 2019 I Lille, EG Boix, J Feist, G Grieco, A Groce, EH Lund, L Jaccheri, J Li, ... | | |
