Search Results for author: Axel Legay

Found 9 papers, 1 papers with code

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

no code implementations14 Jun 2023 Lisa Koutsoviti Koumeri, Magali Legast, Yasaman Yousefi, Koen Vanhoof, Axel Legay, Christoph Schommer

This work supports the contextual approach to fairness in EU non-discrimination legal framework and aims at assessing up to what point we can assure legal fairness through fairness metrics and under fairness constraints.

Decision Making Fairness

Malware Analysis with Symbolic Execution and Graph Kernel

no code implementations12 Apr 2022 Charles-Henry Bertrand Van Ouytsel, Axel Legay

As such computation is too cumbersome, the techniques often rely on developing strategies to compute a representative subgraph of the behaviors.

BIG-bench Machine Learning Malware Analysis

Analysis of Machine Learning Approaches to Packing Detection

no code implementations2 May 2021 Charles-Henry Bertrand Van Ouytsel, Thomas Given-Wilson, Jeremy Minet, Julian Roussieau, Axel Legay

This work explores eleven different machine learning approaches using 119 features to understand: which features are most significant for packing detection; which algorithms offer the best performance; and which algorithms are most economical.

BIG-bench Machine Learning

Quantitative Security Risk Modeling and Analysis with RisQFLan

1 code implementation21 Jan 2021 Maurice H. ter Beek, Axel Legay, Alberto Lluch Lafuente, Andrea Vandin

Domain-specific quantitative modeling and analysis approaches are fundamental in scenarios in which qualitative approaches are inappropriate or unfeasible.

Cryptography and Security Software Engineering

A Decision Tree Lifted Domain for Analyzing Program Families with Numerical Features (Extended Version)

no code implementations10 Dec 2020 Aleksandar S. Dimovski, Sven Apel, Axel Legay

Lifted (family-based) static analysis by abstract interpretation is capable of analyzing all variants of a program family simultaneously, in a single run without generating any of the variants explicitly.

Programming Languages Logic in Computer Science Software Engineering

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

no code implementations18 Jun 2019 Sebastien Lugan, Paul Desbordes, Luis Xavier Ramos Tormo, Axel Legay, Benoit Macq

Distributed learning across a coalition of organizations allows the members of the coalition to train and share a model without sharing the data used to optimize this model.

Distributed Optimization

Measuring Global Similarity between Texts

no code implementations17 Mar 2014 Uli Fahrenberg, Fabrizio Biondi, Kevin Corre, Cyrille Jegourel, Simon Kongshøj, Axel Legay

We propose a new similarity measure between texts which, contrary to the current state-of-the-art approaches, takes a global view of the texts to be compared.

Scalable Verification of Markov Decision Processes

no code implementations14 Oct 2013 Axel Legay, Sean Sedwards, Louis-Marie Traonouez

Markov decision processes (MDP) are useful to model concurrent process optimisation problems, but verifying them with numerical methods is often intractable.

UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata

no code implementations4 Jul 2012 Peter Bulychev, Alexandre David, Kim Gulstrand Larsen, Marius Mikučionis, Danny Bøgsted Poulsen, Axel Legay, Zheng Wang

The focus of the survey is on the evolution of the tool - including modeling and specification formalisms as well as techniques applied - together with applications of the tool to case studies.

Logic in Computer Science Formal Languages and Automata Theory

Cannot find the paper you are looking for? You can Submit a new open access paper.