Fabrizio Biondi

发表

Measuring Structural Distances between Texts pdf

Cyrille Jégourel, Axel Legay, Kevin Corre, 2014, ArXiv.

Model Checking Software: 26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings

Axel Legay, Fabrizio Biondi, Thomas Given-Wilson, 2019, SPIN.

Markovian Processes for Quantitative Information Leakage

Fabrizio Biondi, Fabrizio Biondi, 2014 .

Tutorial: An Overview of Malware Detection and Evasion Techniques

Axel Legay, Fabrizio Biondi, Thomas Given-Wilson, 2018, ISoLA.

Optimizing symbolic execution for malware behavior classification

Axel Legay, Fabrizio Biondi, Thomas Given-Wilson, 2020, Comput. Secur..

Quantitative Anonymity Evaluation of Voting Protocols

Axel Legay, Fabrizio Biondi, 2014, SEFM Workshops.

HyLeak: Hybrid Analysis Tool for Information Leakage

Axel Legay, Fabrizio Biondi, Louis-Marie Traonouez, 2017, ATVA.

Scalable Approximation of Quantitative Information Flow in Programs

Axel Legay, Fabrizio Biondi, Annelie Heuser, 2018, VMCAI.

Attainable unconditional security for shared-key cryptosystems

Axel Legay, Fabrizio Biondi, Thomas Given-Wilson, 2016, Inf. Sci..

Attainable Unconditional Security for Shared-Key Cryptosystems

Axel Legay, Fabrizio Biondi, Thomas Given-Wilson, 2015, 2015 IEEE Trustcom/BigDataSE/ISPA.

Effective, efficient, and robust packing detection and classification

Axel Legay, Fabrizio Biondi, Thomas Given-Wilson, 2019, Comput. Secur..

Bypassing Malware Obfuscation with Dynamic Synthesis

Axel Legay, Fabrizio Biondi, Sébastien Josse, 2016, ERCIM News.

MASSE: Modular Automated Syntactic Signature Extraction

Axel Legay, Fabrizio Biondi, François Déchelle, 2017, 2017 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW).

Maximizing entropy over Markov processes

Axel Legay, Andrzej Wasowski, Fabrizio Biondi, 2014, J. Log. Algebraic Methods Program..

Detection of Mirai by Syntactic and Behavioral Analysis

Axel Legay, Fabrizio Biondi, Thomas Given-Wilson, 2018, 2018 IEEE 29th International Symposium on Software Reliability Engineering (ISSRE).

Security and Privacy of Protocols and Software with Formal Methods

Axel Legay, Fabrizio Biondi, Axel Legay, 2016, ISoLA.

Maximizing entropy over Markov processes

Axel Legay, Andrzej Wasowski, Fabrizio Biondi, 2013, J. Log. Algebraic Methods Program..

On the Attacker's Knowledge in Shared-Key Cryptosystems

François Goasdoué, Chen Qian, Vincent Claveau, 2015 .

Combining Static and Statistical Approaches to Quantitative Information Flow

Axel Legay, Fabrizio Biondi, Yusuke Kawamoto, 2015 .

Information Leakage as a Scheduling Resource

Axel Legay, Fabrizio Biondi, Thomas Given-Wilson, 2017, FMICS-AVoCS.

Detection of Mirai by Syntactic and Semantic Analysis

Axel Legay, Fabrizio Biondi, Thomas Given-Wilson, 2017 .

Measuring Global Similarity Between Texts

Cyrille Jégourel, Axel Legay, Kevin Corre, 2014, SLSP.

Hybrid Statistical Estimation of Mutual Information for Quantifying Information Flow

Axel Legay, Fabrizio Biondi, Yusuke Kawamoto, 2016, FM.

New Results - Other research results: Information-Theoretical Quantification of Security Properties

Axel Legay, Fabrizio Biondi, Thomas Given-Wilson, 2016 .

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

Axel Legay, Fabrizio Biondi, Louis-Marie Traonouez, 2018, Formal Aspects of Computing.

Effectiveness of synthesis in concolic deobfuscation

Axel Legay, Fabrizio Biondi, Sébastien Josse, 2017, Comput. Secur..

Universal Optimality of Apollonian Cell Encoders

Axel Legay, Fabrizio Biondi, Thomas Given-Wilson, 2018, 2018 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications/ 12th IEEE International Conference On Big Data Science And Engineering (TrustCom/BigDataSE).

New Results - Results for Axis 2: Malware analysis

Jean-Louis Lanet, Axel Legay, Fabrizio Biondi, 2016 .

QUAIL: A Quantitative Security Analyzer for Imperative Code

Axel Legay, Andrzej Wasowski, Fabrizio Biondi, 2013, CAV.

Quantifying information leakage of randomized protocols

Axel Legay, Andrzej Wasowski, Fabrizio Biondi, 2013, Theor. Comput. Sci..

Efficient Extraction of Malware Signatures Through System Calls and Symbolic Execution: An Experience Report

Axel Legay, Fabrizio Biondi, Thomas Given-Wilson, 2018 .

Information Leakage of Non-Terminating Processes

Axel Legay, Andrzej Wasowski, Fabrizio Biondi, 2014, FSTTCS.

Quantifying information leakage of randomized protocols

Axel Legay, Andrzej Wasowski, Fabrizio Biondi, 2015, Theor. Comput. Sci..

Information Leakage by Trace Analysis in QUAIL

Axel Legay, Fabrizio Biondi, Jean Quilbeuf, 2014 .

Comparative Analysis of Leakage Tools on Scalable Case Studies

Axel Legay, Fabrizio Biondi, Jean Quilbeuf, 2015, SPIN.