If you would like to be informed by email when a VERIMAG seminar is being held, please send an email to Pascal Lafourcade.
Upcoming Seminars
-
13 June 2013 -
14h00: salle A. Turing CE4
par Pascal JUNOD - HEIG-VD, Yverdon-les-Bains (Switzerland) - LLVM and Code Obfuscation
-
20 June 2013 -
14h00: salle A. Turing CE4
par Patrick Haddad - ST et U. St-etienne - Modélisation stochastique des générateurs de suites binaires aléatoires: du transistor au bit aléatoire
Past Seminars
- 18 April 2013 : par Damien Robert - EPI LFANT INRIA Bordeaux Sud-Ouest - Couplages optimaux sur variétés abéliennes avec les fonctions thêta
- 18 April 2013 : par Claus Diem - Institute of Mathematics, University of Leipzig - Sur le problème du logarithme discret pour les courbes elliptiques
- 11 April 2013 : par Maria Christofi - UVSQ - vérification formelle des implémentations cryptographiques.
- 7 February 2013 : par Sylvain Duquesne - IRMAR, UMR CNRS 6625, Universite Rennes 1 - Représentation RNS des nombres et calcul de couplages
- 20 December 2012 : par Anna Grocholewska-Czurylo - Poznan University of Technology - HaF - A new family of hash functions
- 20 December 2012 : par Jean-Yves Marion - University of Lorraine, LORIA, Nancy, France - On detection methods and analyis of malware
- 13 December 2012 : par Cédric Lauradoux - INRIA - Générateurs de nombres aléatoires et sources opportunistes
- 13 December 2012 : par karim TOBICH - ST Micro et LIRMM - Nouvelle méthode de perturbation et d'attaque: FBBI
- 6 November 2012 : par Pascal Lafourcade - Verimag, Université de Grenoble - Computer Aided Security for Cryptographic Primitives, Voting protocols, and Wireless Sensor Networks
- 18 October 2012 : par Sebastian Moedersheim - DTU Informatics - My Own Little Hilbert's Program: Relative Soundness Results in Protocol Verification
- 12 July 2012 : par Pierre-Alain Fouque - ENS - Généralisation des attaques de Demirci et Selçuk
- 21 June 2012 : par Yannick Teglia - STMicroelectronics) - La sécurité des System on Chip (Soc) d'un point de vue industriel
- 21 June 2012 : par Mathilde Soucarros Mathilde Soucarros - DGA/CEA/Institut Fourier - Methodology for the Fault Analysis and Evaluation of True Random Number Generators
- 31 May 2012 : par Damien Stehle - LIP laboratory, ENS Lyon, Equipe Aric - Une preuve de sécurité pour le cryptosystème NTRU
- 15 May 2012 : par Michael Quisquater - USQV Prism Equipe CRYPTO - Attaques par canaux cachés et masquage de fonctions puissances intervenant dans les chiffrements par blocs.
- 27 April 2012 : par Emmanuel Thome - LORIA - Cado-nfs: Une implementation du crible algebrique.
- 24 April 2012 : par Vanessa Vitse - Equipe CRYPTO du laboratoire PRISM UVSQ - Calcul de traces de l'algorithme F4 et application aux attaques par decomposition sur courbes elliptiques.
- 24 April 2012 : par Vanessa Vitse - Equipe CRYPTO du laboratoire PRISM UVSQ - Attaques par recouvrement et decomposition du logarithme discret sur courbes elliptiques.
- 17 April 2012 : par Malika Izabachene - ENS Cachan - Accreditations anonymes non-interactives
- 17 April 2012 : par Malika Izabachene - ENS Cachan - Le probleme du sac a dos modulaire est difficile en moyenne.
- 20 March 2012 : par David Lubicz - DGA MI - Sur la sécurité des générateurs d'aléa à base d'anneaux d'oscillateurs.
- 20 March 2012 : par Jean-François Biasse - University of Calgary - Les idéaux d'un corps de nombres en cryptologie
- 6 March 2012 : par Charles Bouillaguet - ENS - Presumably hard problems in multivariate cryptography
- 6 March 2012 : par Charles Bouillaguet - ENS - Symbolic Methods for the Automatic Search of Attacks Against Some Block Ciphers
- 7 February 2012 : par Vincent Herbert - INRIA Rocquencourt - Des codes correcteurs pour sécuriser l\'information numérique
- 24 January 2012 : par Gaëtan Leurent - Université du Luxembourg - Boomerang attacks against ARX hash functions.
- 13 January 2012 : par - VERIMAG - Workshop on Computed-Aided Security
- 6 December 2011 : par Sorina Ionica - LORIA, projet CARAMEL - Graphes d'isogénies et calcul de l'anneau d'endormophismes d'une jacobienne de courbe hyperelliptique
- 22 November 2011 : par Mathilde Arnaud - LSV - Formal verification of secure routing protocols
- 9 September 2011 : par Alessandra Sala - UCSB University of California, Santa Barbara - Privacy issues in Measuring and Analyzing Massive Network Graphs
- 5 September 2011 : par Daniele Quercia - Cambridge University - Personality and Language in Social Media
- 23 June 2011 : par Stéphanie Delaune - LSV - Formal analysis of protocols based on TPM state registers.
- 23 June 2011 : par David Pointcheval - ENS/CNRS/INRIA - Randomizable Commutative Signature and Encryption Schemes
- 14 June 2011 : par Laurent Fousse - LJK équipe CASYS - Benaloh's Dense Probabilistic Encryption Revisited
- 26 May 2011 : par Jannik Dreier - VERIMAG - Privacy Properties for Voting Protocols: The completed picture
- 24 May 2011 : par Jean-Charles Faugere - INRIA Paris-Rocquencourt Projet SALSA - Solving structured polynomial systems and Applications in Cryptology
- 17 March 2011 : par Morgan Barbier - École Polytechnique - LIX - Décodage en liste des codes de Goppa Binaires et réduction de clé de McEliece
- 15 March 2011 : par Phong Q Nguyen - ENS - Lattice Reduction Algorithms: Theory and Practice
- 15 March 2011 : par Coron Jean-Sébastien - Université du Luxembourg - Practical Fully-Homomorphic Encryption over the Integers
- 8 March 2011 : par Elie Bursztein - Stanford Security Lab - OpenConflict: Preventing Real Time Map Hacks in Online Games
- 11 January 2011 : par Marine Minier - CITI - : New LFSRs and FCSRs representations for stream ciphers hardware and software design.
- 11 January 2011 : par Damien Robert - INRIA - Computing isogenies and applications in cryptography
- 14 December 2010 : par Denis Real - DGA Maîtrise de l'Information - Analyse du rayonnement électromagnétique émis lors d'une randomisation d'exposant privé: le bit de retenue fuit et est assez sensible pour monter une crypanalyse
- 14 December 2010 : par Christophe Chabot - LJK - Reconnaissance de codes dans un milieu non coopératif.
- 2 December 2010 : par Jean-Guillaume Dumas - LJK - Codes correcteurs et espaces de matrices à rang constant
- 30 November 2010 : par Plut Jérome - PRISM Equipe Crypto Université de Versailles - Présentation de la bibliothéque MPHELL
- 19 October 2010 : par C.Dumas J.Clediere - CEA LETI - Les attaques par observation en présence de contremesures
- 18 October 2010 : par Augustin Sarr - Netheos et U. Grenoble - Soutenance de Thèse d'Augustiin Sarr : Protocoles d'échanges de clefs authentifiés : modèles de sécurité, analyses et constructions
- 21 September 2010 : par Martin Gagné - University of Calgary - Threshold Attribute-Based Signcryption
- 14 September 2010 : par Serge Vaudenay - EPFL Security and Cryptography Laboratory - le passeport biométrique
- 21 June 2010 : par Goubin Louis - prism uvsq - Attaques d'implantations du RSA par perturbation de la clé publique
- 21 June 2010 : par Joux Antoine - PRISM Equipe Crypto Université de Versailles - Nouveaux algorithmes génériques pour la résolution de sacs-à -dos
- 8 June 2010 : par Yannick Chevalier - IRIT équipe LILAC - Equivalence de trace pour les processus cryptographiques
- 8 June 2010 : par Jean-Marc Couveignes - Université Toulouse 2, IMT - Quelques problèmes soulevés depuis vingt ans (et parfois résolus) en théorie de la complexité algori
- 20 May 2010 : par Gregei Bana - LSV ENS Cachan - Secrecy-Oriented, Computationally Sound First-Order Logical Analysis of Cryptographic Protocols
- 11 May 2010 : par Nicolas MELONI - University of Waterloo - De la bonne utilisation des systèmes de bases doubles en cryptographie
- 11 May 2010 : par Thomas Roche - Equipe MOAIS - Les attaques par analyse de consommation: étude d'une nouvelle attaque et présentation des contre-mesures par masquage
- 4 May 2010 : par Torres Lionel - University Montpellier 2/CNRS LIRMM - Architectures sécurisées, du processeur au FPGA
- 4 May 2010 : par Graham Steel - LSV Laboratoire Spécification et Vérification - Formal Analysis of Key Management APIs
- 7 April 2010 : par Andreas Enge - INRIA Bordeaux LFANT - La multiplication complexe pour les CE et son utilisation en cryptographie
- 23 March 2010 : par Pierrick Gaudry - LORIA équipe CARAMEL - Comptage de points de courbes à multiplication réelle.
- 18 March 2010 : par Sébastien CANARD - Orange Labs Cryptography Research Group - Avancées récentes en monnaie électronique
- 4 March 2010 : par Laurent Imbert - LIRMM - La numération double-base : théorie, applications et problèmes ouverts
- 12 January 2010 : par Hugo Jonker - University of Luxembourg, SaToSS) research group - Quantifying Voter-controlled Privacy
- 7 October 2009 : par Aurélien Francillon - INRIA ALPES PLANETE TEAM - Attacking and Protecting Constrained Embedded Systems from Control Flow Attacks
- 6 October 2009 : par Jean Lancrenon - UJF - Authentification d'objets
- 6 October 2009 : par Elie Bursztein - Stanford Security Laboratory - XCS: Cross Channel Scripting and its Impact on Web Applications
- 23 June 2009 : par Augustin Sarr - Netheos et U. Montpellier 2 - Analyse et design de protocoles authentifiés de type Diffie-Hellman
- 16 June 2009 : par Yann Laigle-Chapuy - INRIA Rocquencourt - A new attack on the combination generator.
- 16 June 2009 : par Guilhem Castagnos - Université de versailles PRISM - On the Security of Cryptosystems with Quadratic Decryption: The Nicest Cryptanalysis
- 12 May 2009 : par Mark Ryan - School of Computer Science University ofBirmingham - Attacks on the Trusted Platform Module, and solutions
- 31 March 2009 : par Guillaume Hanrot - LORIA Equipe CACAO - Problèmes d'énumération dans les réseaux.
- 31 March 2009 : par Laurent Fousse Laurent Fousse - LJK - Filtres à mot-clés secret et réseaux euclidiens
- 24 March 2009 : par Marine Minier - INSA Lyon. - Quelques propriétés intégrales de Rijndael-256, 224, 192 et 160 permettant d'améliorer des distinguisheurs à clés inconnues mais aussi à clés connues.
- 24 March 2009 : par Carlos Aguilar Melchor - Universite de Limoges XLIM - Chiffrement homomorphe additif et multiplicatif basé sur le pire cas de uSVP
- 10 March 2009 : par David Defour - U. Perpignan. - Arithmétique, forensic et processeurs vectoriels
- 10 March 2009 : par Srdjan Capkun - ETH Zurich System Security Group - Wireless Security gets Physical
- 10 February 2009 : par Cas Cremers - ETH Zurich - From Dolev-Yao to Strong Adaptive Corruption: Analyzing Security in the Presence of Compromising Adversaries
- 10 February 2009 : par Jean Claude Bajard - LIRMM - A Residue Approach of the Finite Fields Arithmetics
- 20 January 2009 : par Gaetan CANIVET - CEA/LETI - Attaques par fautes sur plates-formes reconfigurables
- 20 January 2009 : par Alexandre Berzati - CEA/LETI - Analyse cryptographique des altérations d'algorithme : application au RSA
- 7 January 2009 : par Travis Goodspeed - University of Tennessee, Knoxville, USA. - Practical Attacks on low power microcontroller
- 7 January 2009 : par Aurelien Francillon - projet PLANETE - Code Injection in Sensor Networks
- 7 January 2009 : par Jean-Louis Lanet - Universite de Limoges XLIM - Code Injection in Smart Cards
- 25 December 2008 : par Vincent ROCA - Planète Project Team INRIA - Les codes correcteurs d'erreurs de niveau applicatif (AL-FEC) et leurs applications
- 18 December 2008 : par Cecile Canovas - CEA/LETI - Cryptographie au CESTI
- 16 December 2008 : par Paolo MAISTRI - TIMA - Advanced Encryption StandardSecured Architecture and its Auto-Test Capabilities
- 24 November 2007 : par Gregory Berhuy - Institut Fourier - Applications des algebres a division a la theorie de la communication sans fil.
- 12 November 2007 : par Boris Koepf - ETH Zurich - Formal Models for Side-Channel Attacks
- 9 November 2006 : par Philippe Gaborit - XLIM Limoges - Clés plus courtes pour les cryptosystèmes basés sur les codes correcteurs d'erreurs.
- 6 April 2006 : par Emmanuel Bresson - DCSSI Crypto Lab - Sécurité prouvable des protocoles d'échange de clé authentifié par mot de passe
- 6 April 2006 : par David Lubicz - CELAR - Groupes génériques avec couplage
- 23 March 2006 : par Julien Moncel - Leibniz - Codes identifiants : une approche combinatoire d’un problème de détection de défaillances dans les réseaux
- 9 February 2006 : par Jean-Guillaume Dumas - LJK - Racines primitives industrielles
- 18 January 2006 : par Moni Naor - Weizmann Institute of Science (Israel) - Spam fighting and The Complexity of Pebbling Graphs.
- 5 January 2006 : par Jean-Louis Roch - MOAIS (INRIA - CNRS - INPG - UJF) - Sécurité de calcul global: tolérance aux défaillances et certification probabiliste
- 8 December 2005 : par Yassine Lakhnech - VERIMAG - Symbolic verification of cryptographic protocols and its computational justification
- 10 November 2005 : par Rolland Gillard - UJF - S-boîtes elliptiques
