Picture for Axel Legay

Axel Legay

Irisa / INRIA Rennes, France

Compatibility of Fairness Metrics with EU Non-Discrimination Laws: Demographic Parity & Conditional Demographic Disparity

Add code
Jun 14, 2023
Viaarxiv icon

Malware Analysis with Symbolic Execution and Graph Kernel

Add code
Apr 12, 2022
Figure 1 for Malware Analysis with Symbolic Execution and Graph Kernel
Figure 2 for Malware Analysis with Symbolic Execution and Graph Kernel
Figure 3 for Malware Analysis with Symbolic Execution and Graph Kernel
Figure 4 for Malware Analysis with Symbolic Execution and Graph Kernel
Viaarxiv icon

Analysis of Machine Learning Approaches to Packing Detection

Add code
May 02, 2021
Figure 1 for Analysis of Machine Learning Approaches to Packing Detection
Figure 2 for Analysis of Machine Learning Approaches to Packing Detection
Figure 3 for Analysis of Machine Learning Approaches to Packing Detection
Figure 4 for Analysis of Machine Learning Approaches to Packing Detection
Viaarxiv icon

Secure Architectures Implementing Trusted Coalitions for Blockchained Distributed Learning (TCLearn)

Add code
Jun 18, 2019
Figure 1 for Secure Architectures Implementing Trusted Coalitions for Blockchained Distributed Learning (TCLearn)
Figure 2 for Secure Architectures Implementing Trusted Coalitions for Blockchained Distributed Learning (TCLearn)
Figure 3 for Secure Architectures Implementing Trusted Coalitions for Blockchained Distributed Learning (TCLearn)
Figure 4 for Secure Architectures Implementing Trusted Coalitions for Blockchained Distributed Learning (TCLearn)
Viaarxiv icon

Scalable Verification of Markov Decision Processes

Add code
Sep 17, 2014
Figure 1 for Scalable Verification of Markov Decision Processes
Figure 2 for Scalable Verification of Markov Decision Processes
Viaarxiv icon

Measuring Global Similarity between Texts

Add code
May 14, 2014
Figure 1 for Measuring Global Similarity between Texts
Figure 2 for Measuring Global Similarity between Texts
Figure 3 for Measuring Global Similarity between Texts
Figure 4 for Measuring Global Similarity between Texts
Viaarxiv icon

Proceedings Quantities in Formal Methods

Add code
Dec 14, 2012
Viaarxiv icon