Fabrizio Biondi

Fabrizio Biondi

Avast Software - Prague / Czech Republic
Others
AD Scientific Index ID: 5007591
Software Avast
person_outline Fabrizio Biondi's MOST POPULAR ARTICLES
1-) 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 402018
2-) Effective, efficient, and robust packing detection and classificationF Biondi, MA Enescu, T Given-Wilson, A Legay, L Noureddine, V VermaComputers & Security 85, 436-451, 2019
3-) Effectiveness of synthesis in concolic deobfuscationF Biondi, S Josse, A Legay, T SirventComputers & Security 70, 500-515, 2017
4-) Tutorial: An overview of malware detection and evasion techniquesF Biondi, T Given-Wilson, A Legay, C Puodzius, J QuilbeufLeveraging Applications of Formal Methods, Verification and Validation …, 2018
5-) Optimizing symbolic execution for malware behavior classificationS Sebastio, E Baranov, F Biondi, O Decourbe, T Given-Wilson, A Legay, ...Computers & Security 93, 101775, 2020
We use cookies to personalize our website and offer you a better experience. If you accept cookies, we can offer you special services.   Cookie Policy