Events

Archives

Share:
A A
25 November 2011
Pierre-Malo Denielou gives a seminar on Buffered Communication Analysis in Distributed Multiparty Sessions.
Bât. I. RdC Microsoft Research - Inria Joint Centre Parc Orsay Université Buffered Communication Analysis in Distributed Multiparty Sessions Pierre-Malo Deniélou, Imperial College Many communication-centred systems today rely on asynchronous messaging among distributed peers to make efficient use of parallel execution and resource access.With such asynchrony, the communication buffers can happen ... More
9 September 2011
Ioana Pasca speaks about Formally Verified Polynomial Approximations of Real Functions
Bât. I, 1st floor Microsoft Research - Inria Joint Centre Parc Orsay UniversitéFormally Verified Polynomial Approximations of Real Functions Ioana Pasca, ENS Lyon The purpose of this work is to compute in a formally certified manner a polynomial that is an approximation of a given function at a given accuracy and on a given interval... ... More
1 June 2011
Kristin Lauter speaks about Elliptic Curve Cryptography and Applications
Salle Verte, 5th floor, INRIA Antenne Parisienne, 23 avenue d’Italie Elliptic Curve Cryptography and Applications Kristin Lauter Microsoft Research, Redmond In the last 25 years, Elliptic Curve Cryptography has become a mainstream primitive for cryptographic protocols and applications. This talk will give a survey of elliptic curve cryptography and its applications, including applications of ... More
28 April 2011
Nikhil Swamy gives a seminar on Yarra: Modular Protections against Non-control Data Attacks
Bât. I. 1st floor Microsoft Research - Inria Joint Centre Parc Orsay Université Yarra: Modular Protections against Non-control Data Attacks Nikhil Swamy MSR Redmond A non-control data attack occurs when security-critical data allocated on the heap is unexpectedly modified, e.g., by third-party libraries that violate memory safety. This paper introduces Yarra, a conservative extension to.. ... More
12 April 2011
Forum 2011
Campus Microsoft See program More
15 March 2011
David Cade speaks on his recent work on From CryptoVerif Specifications to Computationally Secure Implementations of Protocols.
Bât. I. 1st floor Microsoft Research - Inria Joint Centre Parc Orsay Université From CryptoVerif Specifications to Computationally Secure Implementations of Protocols David Cadé, ENS [joint work with Bruno Blanchet] More
9 March 2011
Francois Dupressoir gives seminar on Guiding a General-Purpose C Verifier to Prove Cryptographic Properties
Bât. I. 1st floor Microsoft Research - Inria Joint Centre Parc Orsay Université Guiding a General-Purpose C Verifier to Prove Cryptographic Properties Francois Dupressoir, Microsoft Research Cambridge Francois will be giving a talk about his recent work with Andy Gordon More
16 December 2010
Prasad Naldurg gives a seminar on Baaz — A System for Detecting Access Control Misconfigurations.
Salle Vert, 5th floor, INRIA Antenne Parisienne, 23 Avenue d’Italie, Paris, 75013 Baaz — A System for Detecting Access Control Misconfigurations Prasad Naldurg Microsoft Research India Maintaining correct access control to shared resources such as file servers, wikis, and databases is an important part of enterprise network management. A combination of many factors, including high.. ... More
15 December 2010
Meeting of ANR ParSec at the MSR-INRIA Joint Centre
Bât. I. RdC Microsoft Research - Inria Joint Centre Parc Orsay Université Second 2010 ParSec Meeting. Gérard Boudol and ParSec members See program here ... More
7 December 2010
Catalin Hritcu gives seminar on Union and Intersection Types for Secure Protocol Implementations
Bât. I. RdC Microsoft Research - Inria Joint Centre Parc Orsay Université Union and Intersection Types for Secure Protocol Implementations Catalin Hritcu, Saarland University Abstract: We present a new type system for verifying the security of cryptographic protocol implementations. The type system combines prior work on refinement types, with union types, intersection, and polymorphic types,.. ... More