| Scalable approximation of quantitative information flow in programs F Biondi, MA Enescu, A Heuser, A Legay, KS Meel, J Quilbeuf Verification, Model Checking, and Abstract Interpretation: 19th …, 2018 | 46 | 2018 |
| Effective, efficient, and robust packing detection and classification F Biondi, MA Enescu, T Given-Wilson, A Legay, L Noureddine, V Verma Computers & Security 85, 436-451, 2019 | 32 | 2019 |
