Vous êtes ici

Next

The next "comité de centre" will be held on Monday, Dec.3rd at 2pm in Turing-Petri meeting rooms

PhD defense of Alix Trieu (Celtique) on Tuesday 4th December 2018 at 10:00 am in room Michel Métivier

Title: Verifying constant-time implementations in a verified compilation toolchainAbstract:Side-channel attacks are an especially dangerous form of attack. In this thesis, we focus on the timing side-channel. A program is said to be constant-time...

WELCOME MEETING FOR NEWCOMERS on Thursday, December 6, 2018 from 9.15am to 11.30am in MINQUIERS meeting room

WELCOME MEETING FOR NEWCOMERS on Thursday, December 6, 2018 from 9.15am to 11.30am in MINQUIERS meeting room
The following subjects will be presented and discussed:
- Presentation of Inria Center and Irisa
- Rights and obligations related to Human...

GALLINETTE : Soutenance de thèse de Simon BOULIER - 29 Novembre à 14h à l'IMT Atlantique, Nantes - Amphi Pascal Amphi Pascal

Simon BOULIER soutiendra sa thèse le 29 November 2018, 14:00 in IMT Atlantique (Nantes), amphi PASCAL.Titre "Extending type theory with Syntactic models". Summary below, first in French and then in English.
Résumé : Cette thèse s'in...

GALLINETTE - Simon BOULIER : PhD defense on 29 November 2018, 14:00 at IMT Atlantique (Nantes), amphi PASCAL

I'm glad to invite you to my PhD defense on 29 November 2018, 14:00 at IMT Atlantique (Nantes), amphi PASCAL.My PhD is titled "Extending type theory with Syntactic models". Summary below, first in French and then in English. Abstrac...

Tech Me Up - Introduction aux notebooks Jupyter

Sébastien Campion, ingénieur au SED, vous propose une introduction aux notebook Jupyter, le jeudi 29 novembre de 9h à 10h (café à partir de 8h50), dans l'espace InriaTech (derrière l'accueil).Jupyter est une application web utilisée pour programme...

Soutenance HDR de Teddy Furon: la vidéo de l'exposé

Le 29 octobre 2018, Teddy Furon, chercheur dans l’équipe LinkMedia, a soutenu son Habilitation à Diriger des recherches, « Zero-bit Watermarking & Traitor Tracing for Content Protection
». L’exposé d’Habilitation est en ligne sur notre p...

Pages

S'abonner à www.irisa.fr RSS