Calendrier de Évènements
L lun
M mar
M mer
J jeu
V ven
S sam
D dim
0 évènement,
0 évènement,
0 évènement,
0 évènement,
0 évènement,
0 évènement,
0 évènement,
0 évènement,
0 évènement,
0 évènement,
0 évènement,
0 évènement,
0 évènement,
0 évènement,
0 évènement,
1 évènement,
Benoit Barbot (LACL, Univ. Paris Est Créteil) : « Sampling uniforme de langage d’automate temporisé »
Benoit Barbot (LACL, Univ. Paris Est Créteil) : « Sampling uniforme de langage d’automate temporisé »
Résumé : In this work we develop Monte-Carlo model checking techniques to evaluate quantitative properties of timed languages. Our approach is based on uniform random sampling of behaviors, as opposed to isotropic sampling that chooses the next step uniformly at random. The uniformity is defined with respect to volume measure of timed languages previously studied … Continue reading Benoit Barbot (LACL, Univ. Paris Est Créteil) : « Sampling uniforme de langage d’automate temporisé »
1 évènement,
Boly Seck – Cryptographie basée sur les codes et attaque template sur ”Classic McEliece”
Boly Seck – Cryptographie basée sur les codes et attaque template sur ”Classic McEliece”
Les protocoles de sécurité modernes dans la plupart de nos systèmes reposent principalement sur trois fonctions de base de la cryptographie asymétrique : le chiffrement à clé publique, la signature numérique et l’échange de clés. Aujourd’hui, nous ne faisons que de l’échange de clés (TLS 1.3) avec le protocole de Diffie-Hellman sur les courbes elliptiques … Continue reading Boly Seck – Cryptographie basée sur les codes et attaque template sur ”Classic McEliece”
0 évènement,
0 évènement,
0 évènement,
0 évènement,
0 évènement,
0 évènement,
0 évènement,
0 évènement,
0 évènement,
0 évènement,
0 évènement,
0 évènement,
1 évènement,
Séminaire ALGO : Benjamin Hellouin (LRI, Univ. Paris Sud), « Comportement asymptotique de l’automate cyclique à 3 états »
Séminaire ALGO : Benjamin Hellouin (LRI, Univ. Paris Sud), « Comportement asymptotique de l’automate cyclique à 3 états »
La dominance cyclique est un phénomène où différents états (espèces, stratégies...) sont dans une relation cyclique de proie à prédateur : A mange B mange C mange A. Il s'agit d'une situation classique dans des systèmes écologiques réels, en théorie évolutionnaire des jeux, etc. Simuler la dominance cyclique avec des modèles de type Lotka-Volterra fait … Continue reading Séminaire ALGO : Benjamin Hellouin (LRI, Univ. Paris Sud), « Comportement asymptotique de l’automate cyclique à 3 états »