My research interests are: quantification of information leakage; unconditional security; and malware analysis.
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 ]
Follow Me: