150 citations · 623 across the 65 of their papers we have counts for
69 papers
Verifying QUIC implementations using Ivy
Christophe Crochet, Tom Rousseaux, J-F Sambon +2
QUIC is a new transport protocol combining the reliability and congestion control features of TCP with the security features of TLS. One of the main challenges with QUIC is to guar…
Compatibility of Fairness Metrics with EU Non-Discrimination Laws: Demographic Parity & Conditional Demographic Disparity
Lisa Koutsoviti Koumeri, Magali Legast, Yasaman Yousefi +3
Empirical evidence suggests that algorithmic decisions driven by Machine Learning (ML) techniques threaten to discriminate against legally protected groups or create new sources of…
Experimental Toolkit for Manipulating Executable Packing
Alexandre D'Hondt, Charles-Henry Bertrand Van Ouytsel, Axel Legay
Be it for a malicious or legitimate purpose, packing, a transformation that consists in applying various operations like compression or encryption to a binary file, i.e. for making…
Timed I/O Automata: It is never too late to complete your timed specification theory
Martijn A. Goorden, Kim G. Larsen, Axel Legay +3
A specification theory combines notions of specifications and implementations with a satisfaction relation, a refinement relation and a set of operators supporting stepwise design.…
Symbolic analysis meets federated learning to enhance malware identifier
Khanh Huu The Dam, Charles-Henry Bertrand Van Ouytsel, Axel Legay
Over past years, the manually methods to create detection rules were no longer practical in the anti-malware product since the number of malware threats has been growing. Thus, the…
Malware Analysis with Symbolic Execution and Graph Kernel
Charles-Henry Bertrand Van Ouytsel, Axel Legay
Malware analysis techniques are divided into static and dynamic analysis. Both techniques can be bypassed by circumvention techniques such as obfuscation. In a series of works, the…