July NWCPP Meeting

Skip to first unread message

Lloyd Moore

Jul 1, 2019, 1:53:13 PM7/1/19
to NWCPP Announce

Please welcome Jonathan Protzenko as our speaker this month! Sponsor details coming soon!

Time and Location

July 17th, 2019 at 7:00 PM
Room 1085, Building 30,  Map to building 30,
Microsoft Campus,
156th Ave  NE,
Redmond,  WA 98052.


EverCrypt: a no-excuses, industrial-grade cryptographic library, with full verification


Project Everest is a large, multi-year, collaborative research effort spread between Microsoft Research, Carnegie Mellon, INRIA and University of Edinburgh. The aim of Project Everest is to deploy formally verified implementations of the TLS protocol, which now powers the majority of online communications. Project Everest is about half-way through its projected five year lifespan.

After a brief presentation of Everest at large, I will focus on EverCrypt, the cryptographic provider that powers our TLS implementation, offering a variety of cryptographic algorithms written in a mixture of C and assembly. I will detail the various techniques we used, the verification APIs we offer, and the state-of-the art performance we obtain. EverCrypt is suitable for use by verified and unverified clients alike, using an agile and multiplexing API. Parts of EverCrypt have been deployed, among others, in Firefox, the Wireguard VPN, Windows, and the Tezos blockchain.

Speaker Bio

Jonathan Protzenko is a Researcher in the RiSE group at Microsoft Research Redmond, which he joined in Fall 2014.

Jonathan's research focuses on formally verifying critical software, i.e. showing with mathematical certainty that the software has no bugs and exhibits the intended behavior. To that end, I use the F* programming language, and its new Low* toolchain. It allows compiling a subset of F* programs to C for integration into existing software ecosystems. Code written in Low* and compiled by KReMLin has been integrated into Windows, Firefox, mbedTLS, and the Tezos blockchain, among others.

Jonathan's flagship project is EverCrypt, a complete cryptographic library that offers abstraction, multiplexing, agility and CPU auto-detection, verified in F*, compiled to C and assembly. My work is part of the larger Everest Project, an ambitious research effort spanning three continents, five institutions and twelve timezones.

In his spare time, he maintains several open-source projects, including a Thunderbird addon that is now the 4th most-used addon with 200,000 users.

A Word From Our Sponsor

Paul is also our pizza sponsor this month! Thanks Paul!!!!

Lloyd Moore

Jul 2, 2019, 10:39:17 AM7/2/19
to NWCPP Announce
Please welcome Jonathan Protzenko as our speaker this month! Please thank Molekule for sponsoring our meeting this month!
"Molekule is a San Francisco-based science and clean technology company that has developed a fundamentally new approach to clean polluted air. While current air purifiers try to catch pollutants in filters, Molekule uses nanotechnology to break down and completely eliminate pollutants on a molecular level. Its new technology is the only one able to destroy the full spectrum of pollutants of allergens, bacteria, viruses, mold, and airborne chemicals. The technology was developed over the past 20 years at the University of Florida.
Molekule devices are controlled and connected using modern software design and architecture principles in order to bring the best experience to customers. Firmware for Molekule devices is written in C++ using an actor model approach and highly test driven development focused using test frameworks for hardware in the loop testing as well as basic software unit testing."

Lloyd Moore

Jul 6, 2019, 8:21:39 PM7/6/19
to NWCPP Announce

Lloyd Moore

Jul 13, 2019, 12:08:13 PM7/13/19
to NWCPP Announce

Lloyd Moore

Jul 17, 2019, 9:54:52 AM7/17/19
to NWCPP Announce

Lloyd Moore

Jul 18, 2019, 8:54:56 PM7/18/19
to NWCPP Announce


Here are the slides and video for the meeting last night:


Video | Slides


You received this message because you are subscribed to the Google Groups "Northwest C++ Users Group" group.
To unsubscribe from this group and stop receiving emails from it, send an email to NwcppAnnounc...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/NwcppAnnounce/35ab1308-7a25-18a1-2751-415e7a95b172%40CyberData-Robotics.com.
For more options, visit https://groups.google.com/d/optout.
Reply all
Reply to author
0 new messages