Fabrizio Biondi

Publication Activity (10 Years)

Years Active: 2013-2020
Publications (10 Years): 20

Top Venues

Comput. Secur.

VMCAI

CoRR

ISoLA (1)

IT University of Copenhagen, Denmark (PHD)

Education History

IT University of Copenhagen, Denmark

PHD

Publications

Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
Introduction to the special issue for SPIN 2019. Int. J. Softw. Tools Technol. Transf. 22 (5) (2020)
Stefano Sebastio, Eduard Baranov, Fabrizio Biondi, Olivier Decourbe, Thomas Given-Wilson, Axel Legay, Cassius Puodzius, Jean Quilbeuf
Optimizing symbolic execution for malware behavior classification. Comput. Secur. 93 (2020)
Fabrizio Biondi, Michael A. Enescu, Thomas Given-Wilson, Axel Legay, Lamine Noureddine, Vivek Verma
Effective, efficient, and robust packing detection and classification. Comput. Secur. 85 (2019)
Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez
Hybrid statistical estimation of mutual information and its application to information flow. Formal Aspects Comput. 31 (2) (2019)
Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez
Hybrid Statistical Estimation of Mutual Information and its Application to Information Flow. CoRR (2018)
Fabrizio Biondi, Thomas Given-Wilson, Axel Legay, Cassius Puodzius, Jean Quilbeuf
Tutorial: An Overview of Malware Detection and Evasion Techniques. ISoLA (1) (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)
Najah Ben Said, Fabrizio Biondi, Vesselin Bontchev, Olivier Decourbe, Thomas Given-Wilson, Axel Legay, Jean Quilbeuf
Detection of Mirai by Syntactic and Behavioral Analysis. ISSRE (2018)
Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
Universal Optimality of Apollonian Cell Encoders. TrustCom/BigDataSE (2018)
Fabrizio Biondi, Sébastien Josse, Axel Legay, Thomas Sirvent
Effectiveness of synthesis in concolic deobfuscation. Comput. Secur. 70 (2017)
Fabrizio Biondi, François Déchelle, Axel Legay
MASSE: Modular Automated Syntactic Signature Extraction. ISSRE Workshops (2017)
Fabrizio Biondi, Mounir Chadli, Thomas Given-Wilson, Axel Legay
Information Leakage as a Scheduling Resource. FMICS-AVoCS (2017)
Fabrizio Biondi, Yusuke Kawamoto, Axel Legay, Louis-Marie Traonouez
HyLeak: Hybrid Analysis Tool for Information Leakage. ATVA (2017)
Fabrizio Biondi, Axel Legay
Security and Privacy of Protocols and Software with Formal Methods. ISoLA (1) (2016)
Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
Attainable unconditional security for shared-key cryptosystems. Inf. Sci. 369 (2016)
Yusuke Kawamoto, Fabrizio Biondi, Axel Legay
Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow. FM (2016)
Fabrizio Biondi, Sébastien Josse, Axel Legay
Bypassing Malware Obfuscation with Dynamic Synthesis. ERCIM News 2016 (106) (2016)
Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
Attainable Unconditional Security for Shared-Key Cryptosystems. TrustCom/BigDataSE/ISPA (1) (2015)
Fabrizio Biondi, Axel Legay, Jean Quilbeuf
Comparative Analysis of Leakage Tools on Scalable Case Studies. SPIN (2015)
Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Wasowski
Quantifying information leakage of randomized protocols. Theor. Comput. Sci. 597 (2015)
Uli Fahrenberg, Fabrizio Biondi, Kevin Corre, Cyrille Jégourel, Simon Kongshøj, Axel Legay
Measuring Global Similarity Between Texts. SLSP (2014)
Fabrizio Biondi, Axel Legay
Quantitative Anonymity Evaluation of Voting Protocols. SEFM Workshops (2014)
Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Pasquale Malacaria, Andrzej Wasowski
Information Leakage of Non-Terminating Processes. FSTTCS (2014)
Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Andrzej Wasowski
Maximizing entropy over Markov processes. J. Log. Algebraic Methods Program. 83 (5-6) (2014)
Uli Fahrenberg, Fabrizio Biondi, Kevin Corre, Cyrille Jégourel, Simon Kongshøj, Axel Legay
Measuring Structural Distances between Texts. CoRR (2014)
Fabrizio Biondi, Axel Legay, Pasquale Malacaria, Andrzej Wasowski
Quantifying Information Leakage of Randomized Protocols. VMCAI (2013)
Fabrizio Biondi, Axel Legay, Bo Friis Nielsen, Andrzej Wasowski
Maximizing Entropy over Markov Processes. LATA (2013)
Fabrizio Biondi, Axel Legay, Louis-Marie Traonouez, Andrzej Wasowski
QUAIL: A Quantitative Security Analyzer for Imperative Code. CAV (2013)

Fabrizio Biondi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Fabrizio Biondi