Archives
10 évènements found.
CRYPTO : Kévin Carrier – Combinatorial Attacks on Code-based and Lattice-based Cryptosystems
Bâtiment Fermat, salle 4205The decoding problem is fundamental in post-quantum cryptography. It can be broadly described as essentially solving a linear system with a non-linear constraint on the solution. Phrased this way, the problem applies to both code-based and lattice-based cryptography. For example,
AG : Colin Faverjon (ICJ) : Sur la complexité du développement des nombres réels : automates finis et méthode de Mahler
L'écriture des nombres réels dans une base entière est source de nombreuses questions, tant élémentaires dans leurs formulations que difficiles dans leurs résolutions. Est-il vrai que tous les chiffres apparaissent infiniment souvent dans l'écriture décimale de \pi, de e, de
CRYPTO : Sofia Zebboudj : Authentification Quantique
Bâtiment Fermat, salle 4205Bien que certains cryptosystèmes classiques soient considérés comme sûrs avec la technologie actuelle, les avancées en informatique quantique pourraient bientôt remettre en cause la robustesse de certains mécanismes cryptographiques. À titre d’exemple, les algorithmes quantiques de factorisation des nombres premiers
Mis en avant
PS : Sara Mazzonetto (Université de Lorraine, IECL) : Estimation paramétrique et approximation du temps local de certaines diffusions biaisées-collantes
Bâtiment Fermat, salle 4205Nous considérons certaines diffusions uni-dimensionnelles dont la dynamique est biaisée par la présence d'un point-barrière qui est partiellement-reflectif (skew) ou collant (sticky). Cette nature de la barrière est encodée dans des paramètres de biais et de stickiness. Tout d'abord nous
Mis en avant
PS : Matthieu Marbac (ENSAI) : Choix de modèle pour les modèles de mélanges finis dans un cadre non-paramètrique
Bâtiment Fermat, salle 4205Cet exposé traite des problèmes d'estimation de modèle pour les modèles de mélanges finis; dans un cadre non paramétrique. En particulier, nous nous intéressons aux méthodes permettant d'obtenir des estimateurs consistant du modèle, ainsi qu'aux méthodes permettant de valider le
Mis en avant
CRYPTO : Ky Nuguyen – Multi-Client Functional Encryption with Public Inputs and Strong Security
Bâtiment Fermat, salle 4205Recent years have witnessed a significant development for functional encryption (FE) in the multi-user setting, particularly with multi-client functional encryption (MCFE). The challenge becomes more important when combined with access control, such as attribute-based encryption (ABE), which was actually not
Mis en avant
CRYPTO : Christophe Levrat – A new algorithm solving the matrix code equivalence problem
Bâtiment Fermat, salle 4205The matrix code equivalence problem consists, given two k-dimensional vector spaces C,D of m x n matrices over a finite field, in finding invertible matrices P and Q such that D=PCQ. Recent signature schemes such as MEDS and ALTEQ relate
Mis en avant
EDP : Takéo Takahashi (Inria Lorraine) : Méthode de la platitude pour la contrôlabilité d’un système d’équations de la chaleur
Bâtiment Fermat, salle 4205Résumé : Nous étudions la contrôlabilité d'un système d'équations de la chaleur en utilisant une approche par "platitude". On retrouve en particulier le fait que, selon la relation entre les coefficients de diffusion des équations de la chaleur, le système