Events

Archives

Share:
A A
20 May 2008
Eugen Zalinescu gives seminar on Cryptographically Verified Implementations for TLS
Cryptographically Verified Implementations for TLS Eugen Zalinescu MSR-INRIA Joint Centre Tuesday, 20 May, 14:00 We intend to narrow the gap between concrete implementations of cryptographic protocols and their verified models. We develop and verify a small functional implementation of the Transport Layer Security protocol (TLS 1.0). We make use of the same executable code for.. ... More
8 February 2008
Linear logic and the complexity of control flow analysis
8 février, 11h, batiment I Control flow analysis (CFA) is a kind of static program analysis performed by compilers, where the answers to questions like “can call site X ever call procedure P?” or “can procedure P ever be called with argument A?” can be used to optimize code output by the compiler. Such questions.. ... More
6 February 2008
Seminar on “e-Science and Digital Scholarship” by Tony Hey, Microsoft
Mercredi 6 février, 14h30 Batiment I e-Science and Digital Scholarship Tony Hey, Microsoft In the future, frontier research in many fields is increasingly requiring collaboration of globally distributed groups of researchers needing access to distributed data and computing resources as well as support for remote access to expensive, multi-national specialized facilities such as telescopes, sensor.. ... More
10 December 2007
INRIA celebrates its 40th anniversary in Lille on December 10-11, 2007
NRIA celelebrates its 40th anniversary in a big forum ... More
4 December 2007
Microsoft Innovation day
Microsoft 4th Innovation day will be hold on 4 December 2007 at Brussels. see here ... More
29 November 2007
Talk by Sebastien Briais, ENS Lyon
A formalisation of the spi calculus in Coq Sébastien Briais Plume Team, ENS Lyon Thursday, 29 November 2007 10h30 - 11h30 MSR-INRIA Joint Centre Firstly, I will recall the definition of the spi calculus (an extension of the pi calculus to reason about cryptographic protocols) and the notion of hedged bisimilarity. I will also give.. ... More
23 November 2007
Assia Mabhoubi gives seminar at INRIA Rocquencourt
Preuve formelle à grande échelle et réflexion à petite échelle Assia Mahboubi I N R I A - Rocquencourt Amphi Turing du bâtiment 1 Vendredi 23 novembre, 10h30 En 2004, G. Gonthier a achevé la preuve formelle du théorèmes des quatre couleurs dans l’assistant à la preuve Coq. L’une des clefs de cette réussite est.. ... More
7 November 2007
Thrustworthy Global Computing 2007
Workshop on the Interplay of Programming Languages and Cryptography Scope In the last years, the Programming Languages and Cryptography communities have positively cross-fertilized each other. For example, security policies at the level of programming languages are enriched with cryptographic properties, and cryptographic protocols are analyzed and proved secure using programming language analysis ... More
6 November 2007
4th meeting of Management Committee in 2007.
More
7 October 2007
Georges Gonthier gives seminar at the French Academy of Sciences
Journée sur les avancées en Sciences de l’Information présentées par leurs auteurs. Séance publique de l’Académie des sciences Vidéo de la présentation. Mardi 9 octobre 2007, 14h30 More