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

Seminar
Starting on
Ending on
Location
IRISA Rennes
Room
Oléron
Speaker
Christina Boura (UVSQ, CNRS, LMV)

Speaker: Christina Boura (UVSQ, CNRS, LMV)
Title: On MILP modelisations
*Registration required* (nadia [*] derouaultatinria [*] 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