QUAIL: A Quantitative Security Analyzer for Imperative Code. - Fabrizio Biondi; Axel Legay; Louis-Marie Traonouez; Andrzej Wasowski (CAV, 2013)

Information Leakage of Non-Terminating Processes. - Fabrizio Biondi; Axel Legay; Bo Friis Nielsen; Pasquale Malacaria; Andrzej Wasowski (FSTTCS, 2014)

Quantitative Anonymity Evaluation of Voting Protocols. - Fabrizio Biondi; Axel Legay (SEFM Workshops, 2014)

Measuring Global Similarity Between Texts. - Uli Fahrenberg; Fabrizio Biondi; Kevin Corre; Cyrille Jégourel; Simon Kongshøj; Axel Legay (SLSP, 2014)

Measuring Structural Distances between Texts. - Uli Fahrenberg; Fabrizio Biondi; Kevin Corre; Cyrille Jégourel; Simon Kongshøj; Axel Legay (CoRR, 2014)

Maximizing entropy over Markov processes. - Fabrizio Biondi; Axel Legay; Bo Friis Nielsen; Andrzej Wasowski (J. Log. Algebraic Methods Program., 2014)

Markovian Processes for Quantitative Information Leakage. - Fabrizio Biondi (2014)

Comparative Analysis of Leakage Tools on Scalable Case Studies. - Fabrizio Biondi; Axel Legay; Jean Quilbeuf (SPIN, 2015)

Quantifying information leakage of randomized protocols. - Fabrizio Biondi; Axel Legay; Pasquale Malacaria; Andrzej Wasowski (Theor. Comput. Sci., 2015)

Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow. - Yusuke Kawamoto 001; Fabrizio Biondi; Axel Legay (FM, 2016)

Security and Privacy of Protocols and Software with Formal Methods. - Fabrizio Biondi; Axel Legay (ISoLA (1), 2016)

Bypassing Malware Obfuscation with Dynamic Synthesis. - Fabrizio Biondi; Sébastien Josse; Axel Legay (ERCIM News, 2016)

Attainable unconditional security for shared-key cryptosystems. - Fabrizio Biondi; Thomas Given-Wilson; Axel Legay (Inf. Sci., 2016)

HyLeak: Hybrid Analysis Tool for Information Leakage. - Fabrizio Biondi; Yusuke Kawamoto 001; Axel Legay; Louis-Marie Traonouez (ATVA, 2017)

Information Leakage as a Scheduling Resource. - Fabrizio Biondi; Mounir Chadli; Thomas Given-Wilson; Axel Legay (FMICS-AVoCS, 2017)

MASSE: Modular Automated Syntactic Signature Extraction. - Fabrizio Biondi; François Déchelle; Axel Legay (ISSRE Workshops, 2017)

Effectiveness of synthesis in concolic deobfuscation. - Fabrizio Biondi; Sébastien Josse; Axel Legay; Thomas Sirvent (Comput. Secur., 2017)

Tutorial: An Overview of Malware Detection and Evasion Techniques. - Fabrizio Biondi; Thomas Given-Wilson; Axel Legay; Cassius Puodzius; Jean Quilbeuf (ISoLA (1), 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 (ISSRE, 2018)

Universal Optimality of Apollonian Cell Encoders. - Fabrizio Biondi; Thomas Given-Wilson; Axel Legay (TrustCom/BigDataSE, 2018)

Scalable Approximation of Quantitative Information Flow in Programs. - Fabrizio Biondi; Michael A. Enescu; Annelie Heuser; Axel Legay; Kuldeep S. Meel; Jean Quilbeuf (VMCAI, 2018)

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)

Hybrid statistical estimation of mutual information and its application to information flow. - Fabrizio Biondi; Yusuke Kawamoto 001; Axel Legay; Louis-Marie Traonouez (Formal Aspects Comput., 2019)

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)

Introduction to the special issue for SPIN 2019. - Fabrizio Biondi; Thomas Given-Wilson; Axel Legay (Int. J. Softw. Tools Technol. Transf., 2020)