Events

Archives

Share:
A A
24 November 2010
Carl Gunter gives a seminar on Strategic Healthcare Advanced Research Projects for Security (SHARPS).
Salle Vert, 5th floor, INRIA Antenne Parisienne, 23 Avenue d’Italie, Paris 75013 Strategic Healthcare Advanced Research Projects for Security (SHARPS) Carl Gunter University of Illinois, Urbana-Champaign This talk will overview research on security and privacy for health information technology being carried out by a consortium of 12 computer science departments and medical schools in the.. ... More
23 November 2010
Ricardo Corin gives a seminar on Efficient Symbolic Execution for Analysing Cryptographic Protocol Implementations
Bât. I. 1st floor Microsoft Research - Inria Joint Centre Parc Orsay Université Efficient Symbolic Execution for Analysing Cryptographic Protocol Implementations Ricardo Corin, Universidad Nacional de Cordoba, Argentina The analysis of code that uses cryptographic primitives is unfeasible with current state-of-the-art symbolic execution tools. We develop an extension that overcomes this ... More
3 November 2010
INRIA – MSR Workshop on Extreme Operating Systems.
INRIA – MSR Workshop on Extreme Operating Systems November 3 and 4, 2010 EIT ICT Labs (same building as INRIA), 23 avenue d’Italie, Paris Room : Salle polyvalente, third floor November 3, 2010 14:00 Opening – Thierry Priol Session 1 – Chair : Thierry Priol 14:15 CamCube: Designing a data center cluster from the ground.. ... More
5 October 2010
Leo Guibas gives a seminar on The Information is in the Maps.
Bât. 1. 1er étage Microsoft Research - Inria Joint Centre Parc Orsay Université The Information is in the Maps Leonidas Guibas Stanford University Geometric data in the form of 3D scans, images, videos, or GPS traces is becoming abundantly available on the Web and increasingly important to our economy and life. The usual pipeline in.. ... More
22 July 2010
Pierre-Yves Strub gives a seminar on CoqMT - Coq Modulo Theory
Bât. 1. 1er étage Microsoft Research - Inria Joint Centre Parc Orsay Université CoqMT - Coq Modulo Theory Pierre-Yves Strub Tsinghua University The Calculus of Congruent Constructions is a Calculus of Constructions which allows the embedding of decision procedures in its computational part. In this talk I will present CoqMT, a variation of the Calculus.. ... More
7 July 2010
Claire Mathieu gives seminar on “Optimisation de contraintes par algorithmes gloutons” (Optimization of Constraints for Greedy algorithms).
Bât. 1. 1er étage Microsoft Research - Inria Joint Centre Parc Orsay Université Optimisation de contraintes par algorithmes gloutons Claire Mathieu Brown University. Comment expliquer les bonnes performances d’algorithmes de type glouton pour divers problèmes d’optimisation? Nous étudions d’abord le problème de la coupe maximale, où le but est de partitionner les sommets ... More
16 June 2010
Miriam Paiola gives seminar on Extending ProVerif’s Resolution Algorithm for Verifying Group Protocols.
Bât. 1. 1er étage Microsoft Research - Inria Joint Centre Parc Orsay Université Extending ProVerif’s Resolution Algorithm for Verifying Group Protocols Miriam Paiola Ecole Normale Supérieure Many results for the automatic verification of cryptographic protocols are known for protocols with a bounded number of agents. However, for group protocols, where the number of participants is.. ... More
4 June 2010
James Davenport donne un séminaire sur Les défis des polynômes creux
Bât. 1. 1er étage Microsoft Research - Inria Joint Centre Parc Orsay Université Les défis des polynômes creux James Davenport Hebron & Medlock Professor of Information Technology, University of Bath Alors que l’importance des polynômes creux en calcul formel est amplement reconnue par la littérature, la complexité de leur algorithmique avancée (c’est-à-dire au-delà de la.. ... More
28 May 2010
Francesco Zappa Nardelli fait un Unithé sur Ma Mémoire est faible
Séminaire UniThé ou Café Bat I, 1er étage, Parc Orsay Université Club Centre de Recherche Commun INRIA-Microsoft Research “Ma mémoire est faible” Francesco Zappa Nardelli INRIA Résumé: Milieu d’après-midi, 15 fenêtres sur votre écran, et vous ne vous souvenez même plus dans quel ordre vous avez avancé sur les différents dossiers. Votre ordinateur, lorsqu’il doit.. ... More
26 May 2010
Alfredo Pironti gives seminar about Sound Automatic Implementation Generation and Monitoring of Security Protocol Implementations from Verified Formal Specifications
Bld I, Microsoft Research-INRIA Joint Centre Sound Automatic Implementation Generation and Monitoring of Security Protocol Implementations from Verified Formal Specifications. Alfredo Pironti Politecnico di Torino The thesis is about the application of formal methods to the model-driven development (MDD) of security protocol implementations. The main goal is to improve the overall reliability and ... More