Sosysec seminar: On MILP modelisations - Christina Boura (UVSQ, CNRS, LMV)

Speaker: Christina Boura (UVSQ, CNRS, LMV)
Title: On MILP modelisations
*Registration required* (nadia [*] derouaultinria [*] fr (nadia[dot]derouault[at]inria[dot]fr))

Abstract : Modelizing a problem using linear constraints and solving it by some Mixed Integer Linear Programming (MILP) solver is a popular approach in many domains of computer science. In this talk we present and compare different new techniques to modelize any subset of {0,1}^n for MILP. We then discuss the efficiency of our models by applying them to the search of differential paths, a classical problem in symmetric cryptography