Privacy properties such as untraceability, vote secrecy, or anonymity are typically expressed asbehavioural equivalence in a process algebra that models security protocols. In this paper, we study how todecide one particular relation, namely trace equivalence, for an unbounded number of sessions.Our first main contribution is to reduce the search space for attacks. Specifically, we ...

L’objectif de ce papier est de comparer la 2-catégorie des théories homotopiques de Quillen combinatoires propres à gauche avec une 2-catégorie de dérivateurs de Grothendieck. La 2-catégorie THQcpg des théories homotopiques de Quillen combinatoires propres à gauche est la bi-localisation de la 2-catégorieModQcpg des catégories modèles de Quillen combinatoires propres à gauche relativement aux é...

3 4 SUMMARY This thesis presents an in-depth study of statistical mechanical systems having microcano-nical equilibrium properties, i.e., energy-dependent equilibrium properties, which cannot be put in correspondence with their canonical or temperature-dependent equilibrium properties. A general theory of these systems which focuses both on the thermodynamic and macrostate levels of description...

In the last decade, formal methods have proved their interest when analyzing security protocols. Security protocols require in particular to reason about the attacker knowledge. Two standard notions are often considered in formal approaches: deducibility and indistinguishability relations. The first notion states whether an attacker can learn the value of a secret, while the latter states wheth...

Résumé. Le choix d’une mesure de proximité entre objets a un impact direct sur les résultats de toute opération de classification, de comparaison, d’évaluation ou de structuration d’un ensemble d’objets. Pour un problème donné, l’utilisateur est amené à choisir une parmi les nombreuses mesures de proximité existantes. Or, selon la notion d’équivalence choisie, comme celle basée sur les préordon...

In this thesis we present our contribution in the field of post-quantum cryptography. We introduce a new notion of weakly Random-Self-Reducible public-key cryptosystem and show how it can be used to implement secure Oblivious Transfer. We also show that two recent (Post-quantum) cryptosystems can be considered as weakly RandomSelf-Reducible. We introduce a new problem called Isometric Lattice P...

Originellement basé sur l’ingestion de fourrages par les herbivores et extension leurs besoins énergétiques, le concept d'Unité Gros Bétail (UGB) est largement utilisé, sans être toujours précisément défini, pour décrire évaluer systèmes d'élevage ou calculer des statistiques. Cependant, calcul la valeur UGB d'un animal donné peut considéré comme très frustre dans mesure où il ne tient compte n...