Fabrizio Biondi

According to our database, Fabrizio Biondi authored at least 25 papers between 2013 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Introduction to the special issue for SPIN 2019.

Fabrizio Biondi, Thomas Given-Wilson, Axel Legay

Int. J. Softw. Tools Technol. Transf., 2020

Optimizing symbolic execution for malware behavior classification.

Stefano Sebastio, Eduard Baranov, Fabrizio Biondi, Olivier Decourbe, Thomas Given-Wilson, Axel Legay, Cassius Puodzius, Jean Quilbeuf

Comput. Secur., 2020

2019

Hybrid statistical estimation of mutual information and its application to information flow.

Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez

Formal Aspects Comput., 2019

Effective, efficient, and robust packing detection and classification.

Fabrizio Biondi, Michael A. Enescu, Thomas Given-Wilson, Axel Legay, Lamine Noureddine, Vivek Verma

Comput. Secur., 2019

2018

Scalable Approximation of Quantitative Information Flow in Programs.

Fabrizio Biondi, Michael A. Enescu, Annelie Heuser, Axel Legay, Kuldeep S. Meel, Jean Quilbeuf

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Universal Optimality of Apollonian Cell Encoders.

Fabrizio Biondi, Thomas Given-Wilson, Axel Legay

Proceedings of the 17th IEEE International Conference On Trust, 2018

Detection of Mirai by Syntactic and Behavioral Analysis.

Najah Ben Said, Fabrizio Biondi, Vesselin Bontchev, Olivier Decourbe, Thomas Given-Wilson, Axel Legay, Jean Quilbeuf

Proceedings of the 29th IEEE International Symposium on Software Reliability Engineering, 2018

Tutorial: An Overview of Malware Detection and Evasion Techniques.

Fabrizio Biondi, Thomas Given-Wilson, Axel Legay, Cassius Puodzius, Jean Quilbeuf

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

2017

Effectiveness of synthesis in concolic deobfuscation.

Fabrizio Biondi, Sébastien Josse, Axel Legay, Thomas Sirvent

Comput. Secur., 2017

MASSE: Modular Automated Syntactic Signature Extraction.

Fabrizio Biondi, François Déchelle, Axel Legay

Proceedings of the 2017 IEEE International Symposium on Software Reliability Engineering Workshops, 2017

Information Leakage as a Scheduling Resource.

Fabrizio Biondi, Mounir Chadli, Thomas Given-Wilson, Axel Legay

Proceedings of the Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and, 2017

HyLeak: Hybrid Analysis Tool for Information Leakage.

Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez

Proceedings of the Automated Technology for Verification and Analysis, 2017

2016

Attainable unconditional security for shared-key cryptosystems.

Fabrizio Biondi, Thomas Given-Wilson, Axel Legay

Inf. Sci., 2016

Bypassing Malware Obfuscation with Dynamic Synthesis.

Fabrizio Biondi, Sébastien Josse, Axel Legay

ERCIM News, 2016

Security and Privacy of Protocols and Software with Formal Methods.

Fabrizio Biondi, Axel Legay

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow.

Yusuke Kawamoto, Fabrizio Biondi, Axel Legay

Proceedings of the FM 2016: Formal Methods, 2016

2015

Quantifying information leakage of randomized protocols.

Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Wasowski

Theor. Comput. Sci., 2015

Comparative Analysis of Leakage Tools on Scalable Case Studies.

Fabrizio Biondi, Axel Legay, Jean Quilbeuf

Proceedings of the Model Checking Software - 22nd International Symposium, 2015

2014

Markovian Processes for Quantitative Information Leakage.

Fabrizio Biondi

PhD thesis, 2014

Maximizing entropy over Markov processes.

Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Andrzej Wasowski

J. Log. Algebraic Methods Program., 2014

Measuring Structural Distances between Texts.

Uli Fahrenberg, Fabrizio Biondi, Kevin Corre, Cyrille Jégourel, Simon Kongshøj, Axel Legay

CoRR, 2014

Measuring Global Similarity Between Texts.

Uli Fahrenberg, Fabrizio Biondi, Kevin Corre, Cyrille Jégourel, Simon Kongshøj, Axel Legay

Proceedings of the Statistical Language and Speech Processing, 2014

Quantitative Anonymity Evaluation of Voting Protocols.

Fabrizio Biondi, Axel Legay

Proceedings of the Software Engineering and Formal Methods, 2014

Information Leakage of Non-Terminating Processes.

Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Pasquale Malacaria, Andrzej Wasowski

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

2013

QUAIL: A Quantitative Security Analyzer for Imperative Code.

Fabrizio Biondi, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski

Proceedings of the Computer Aided Verification - 25th International Conference, 2013