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

Séminaire
Date de début
Date de fin
Lieu
IRISA Rennes
Salle
Oléron
Orateur
Christina Boura (UVSQ, CNRS, LMV)
Département principal
D1 - Systèmes sécurisés et large échelle

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