Home > 2011

Yearly Archives: 2011

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 ... 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