About Me

Fabrizio Biondi

Chair of Threat Analysis
TAMIS team
CentraleSupelec & Inria/IRISA Rennes
email: fabrizio DOT biondi AT inria DOT fr

I am a Chair of Threat Analysis in Computer Security at CentraleSupelec, working in the TAMIS team of Inria/IRISA Rennes. My research interests are malware analysis, unconditional security, probability theory, security, information theory, and quantified information flow.

I got my Ph.D. at the IT University of Copenhagen under the supervision of prof. Andrzej Wasowski. Before that, I got my Bachelor and Master's degree in Computer Science with highest honors at the University of Bologna. My thesis supervisor was prof. Davide Sangiorgi.

Research

My research interests are: quantification of information leakage; unconditional security; and malware analysis.
Some of my research papers:

2018
Fabrizio Biondi, Michael A. Enescu, Annelie Heuser, Axel Legay, Kuldeep S. Meel, Jean Quilbeuf: Scalable Approximation of Quantitative Information Flow in Programs. VMCAI 2018: 71-93 (2018) [PDF | BibTeX from DBLP ]
2017
Fabrizio Biondi, Sebastien Josse, Axel Legay, Thomas Sirvent: Effectiveness of Synthesis in Concolic Deobfuscation. Computers & Security 70: 500-515 (2017) [PDF | BibTeX from DBLP ]
Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez: HyLeak: Hybrid Analysis Tool for Information Leakage. ATVA 2017: 156-163 (2017) [PDF | BibTeX from DBLP ]
Fabrizio Biondi, Mounir Chadli, Thomas Given-Wilson, Axel Legay: Information Leakage as a Scheduling Resource. FMICS-AVoCS 2017: 83-99 (2017) [PDF | BibTeX from DBLP ]
Fabrizio Biondi, François Dechelle, Axel Legay: MASSE: Modular Automated Syntactic Signature Extraction. ISSRE Workshops 2017: 96-97 (2017) [PDF | BibTeX from DBLP ]
2016
Fabrizio Biondi, Thomas Given-Wilson, Axel Legay: Attainable Unconditional Security for Shared-Key Cryptosystems. Inf. Sci. 369: 80-99 (2016) [PDF | BibTeX from DBLP ]
Yusuke Kawamoto, Fabrizio Biondi, Axel Legay: Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow. FM 2016: 406-425 (2016) [PDF | BibTeX from DBLP ]
Fabrizio Biondi, Axel Legay: Security and Privacy of Protocols and Software with Formal Methods. ISoLA 2016: 883-892 (2016) [PDF | BibTeX from DBLP ]
Fabrizio Biondi, Sébastien Josse, Axel Legay: Bypassing Malware Obfuscation with Dynamic Synthesis. ERCIM News 2016(106) (2016) [Electronic edition | BibTeX from DBLP ]
2015
Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Wasowski: Quantifying information leakage of randomized protocols. Theor. Comput. Sci. 597: 62-87 (2015) [PDF | BibTeX from DBLP ]
Fabrizio Biondi, Axel Legay, Jean Quilbeuf: Comparative Analysis of Leakage Tools on Scalable Case Studies. SPIN 2015: 263-281 (2015) [PDF | BibTeX from DBLP ]
Fabrizio Biondi, Thomas Given-Wilson, Axel Legay: Attainable Unconditional Security for Shared-Key Cryptosystems. TrustCom/BigDataSE/ISPA 2015: 159-166 (2015) [PDF (extended version) | BibTeX from DBLP ]
2014
Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Andrzej Wasowski: Maximizing entropy over Markov processes. J. Log. Algebr. Meth. Program. 83(5-6): 384-399 (2014) [PDF | BibTeX from DBLP ]
Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Pasquale Malacaria, Andrzej Wasowski: Information Leakage of Non-Terminating Processes. FSTTCS 2014: 517-529 (2014) [PDF | BibTeX from DBLP ]
Uli Fahrenberg, Fabrizio Biondi, Kevin Corre, Cyrille Jégourel, Simon Kongshøj, Axel Legay: Measuring Global Similarity Between Texts. SLSP 2014: 220-232 (2014) [PDF | BibTeX from DBLP ]
2013
Fabrizio Biondi, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski: QUAIL: A Quantitative Security Analyzer for Imperative Code. CAV 2013: 702-707 (2013) [PDF | BibTeX from DBLP | QUAIL website]
Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Andrzej Wasowski: Maximizing Entropy over Markov Processes. LATA 2013: 128-140 (2013) [PDF | BibTeX from DBLP ]
Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Wasowski: Quantifying Information Leakage of Randomized Protocols. VMCAI 2013: 68-87 (2013) [PDF | BibTeX from DBLP ]

I am also the main developer and maintainer of the QUAIL tool.

Contact

fabrizio DOT biondi AT inria DOT fr