Vous êtes ici

Florian Dold PhD defense on february the 25th, 2019 at 01:00pm in Metivier Room

Title : The GNU Taler System: Practical and Provably Secure Electronic PaymentsAbstract :
We describe the design and implementation of GNU Taler, an electronic payment system based on an extension of Chaumian online e-cash with efficient change.
I...

Tamis - Soutenance de Thèse de Florian Dold le 25 février 2019 à 13h00 en Salle Métivier

Sujet de thèse : The GNU Taler System: Practical and Provably Secure Electronic PaymentsRésumé :
We describe the design and implementation of GNU Taler, an electronic payment system based on an extension of Chaumian online e-cash with efficient ch...

Séminaire SoSySec - 08 février, 11h00, salles Pétri/Turing - Ross Horne (University of Luxembourg)

A Compositional and Complete approach to Verifying Privacy Properties using the Applied Pi-calculusThe pi-calculus was introduced for verifying cryptographic protocols by Abadi and Fournet in 2001. They proposed an equivalence technique, called bi...

Séminaire SoSySec - 08 février, 11h00, salles Pétri/Turing - Ross Horne (University of Luxembourg)

A Compositional and Complete approach to Verifying Privacy Properties using the Applied Pi-calculusThe pi-calculus was introduced for verifying cryptographic protocols by Abadi and Fournet in 2001. They proposed an equivalence technique, called b...

Serpico - Phd defense to Emmanuel Moebel - February 1st at 10:00 am - Michel Métivier room

New strategies for the identification and enumeration of macromolecules in 3D images of cryo electron tomography Keywords: 3D image processing, inverse problems, denoising, machine learning, microscopy 
Cryo electron tomography (cryo-ET...

Serpico - Soutenance de thèse de Emmanuel Moebel le 1er Février 2019 à 10h00 salle Michel Métivier

 
Nouvelles stratégies pour l’identification et l’énumération de macromolécules dans des images de cryo-tomographie électronique 3D Mots clés : traitement d’images 3D, problèmes inverses, débruitage, apprentissage automatique, microscopi...

Présentation de l'offre de calcul de GENCI

Vendredi 8 février, à 10h15, en salle Markov, Jean-Philippe Proux viendra présenter l'offre de calcul, présente et future, de GENCI : http://www.genci.fr/frLes point suivants seront abordés :- Des ressources nationales de calculs intensifs à GENCI...

A NOTER : L'ACCUEIL DES NOUVEAUX ARRIVANTS AURA LIEU LE JEUDI 7 FEVRIER 2019 après-midi salle MINQUIERS !

Tous les mois, les nouveaux arrivants sont invités à participer à une session d'information.Attention, changement d'horaires :L'accueil des nouveaux arrivants se fera l'après-midi !Il aura lieu le jeudi 7 février 2019, salle MINQUIERS de 14h3...

GENCI

WELCOME MEETING FOR NEWCOMERS on Thursday, February 7, 2019 from 2.30pm to 4.30pm in MINQUIERS meeting room

WELCOME MEETING FOR NEWCOMERS on Thursday, February 7, 2019 from 2.30pm to 4.30pm in MINQUIERS meeting room
The following subjects will be presented and discussed:
- Presentation of Inria Center and Irisa
- Rights and obligations related to Human...

Pages

S'abonner à www.irisa.fr RSS