Section: Dissemination

Popularization

Popular Press and Vulnerability Reports

The FREAK and Logjam attacks discovered by the miTLS team resulted in articles in many newspapers, magazine, and popular websites, including the New York Times, Wall Street Journal, Economist, and Wired. As a result of our discovery of these attacks and their popularization, major changes were made in all web browsers, web servers, and in the TLS protocol itself.

Seminars

• Catalin Hritcu: invited talks at CoqPL Workshop (Jan 2015), HP Labs France (May 2015), Inria Rennes (Jun 2015), PLAS Workshop (Jul 2015), Microsoft Research Redmond (Aug 2015), University of Washington (Aug 2015), ML Workshop (Sep 2015), Alcatel-Lucent Bell Labs (Dec 2015)

• Karthikeyan Bhargavan: invited talks at Real World Crypto (Jan 2015), Inria Nancy (Feb 2015), OSSIR Paris (Jun 2015), DefCon Crypto Village (Aug 2015), Catrel Workshop (Oct 2015)