Par Marie-Laure Bernadac

Florence Robert - Gangneux and Marie - Laure Dardé for Toxoplasmosis Epidemiology of and Diagnostic Strategies

Christophe Macabiau Co-directeur de thèse Marie-Laure Boucheret Co-directeur de thèse

Sublattices of certain Coxeter lattices par Anne - Marie BERGÉ

In this paper, we describe the sublattices of some lattices, extending previous results of [Ber]. Our description makes intensive use of graphs.

Laurent Mounier , Marie - Laure Potet , Josselin Feist / Statically Detecting Use After Free on Binary Code GreHack 2013 , Grenoble , France

We present GUEB a static tool detecting Use after Free vulnerabilities on disassembled code. This tool has been evaluated on a real vulnerability in ProFTPD (CVE-2011-4130).

Mathematical Study of Rotating Fluids with Resonant Surface Stress Anne-laure Dalibard and Laure Saint-raymond

We are interested here in describing the linear response of a highly rotating fluid to some surface stress tensor, which admits fast time oscillations and may be resonant with the Coriolis force. In addition to the usual Ekman layer, we exhibit another much larger boundary layer, and we prove that for large times, the effect of the surface stress may no longer be localized in the vicinity of th...