150 citations · 623 across the 65 of their papers we have counts for
3 papers · 1 filter
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.…