Yearly Archives: 2011

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 ...
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 ...
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 ...
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 ...
More
12 April 2011
Forum 2011
Campus Microsoft See program