Back To Schedule
Friday, October 30 • 17:00 - 18:00
Would Abandoning the C Language Really Help? - Moderated by Casey Schaufler; Steve Klabnik, Rustacean; Julia Lawall, Inria & Yannick Moy, AdaCore

Sign up or log in to save this to your schedule, view media, leave feedback and see who's attending!

Feedback form is now closed.
Many vulnerabilities stem from easily-made errors in C and C++. This includes their many undefined behaviors, such as buffer overflows and double-frees. Other systems programming languages (such as Rust and Ada)have been developed that prevent or reduce the likelihood of these defects. Firefox is reimplementing parts of its code in Rust, and curl is investigating using the Hyper Rust library. 
What are the pros and cons of trying to switch parts of a larger system, like the Linux kernel, to a language designed to reduce the likelihood or impact of defects? What are the lessons learned?
Is it worth it?

avatar for Casey Schaufler

Casey Schaufler

Engineer, Intel
Casey Schaufler worked on Unix kernels in the 1970s-90s. He has implemented access control lists, mandatory access control, extended filesystem attributes, X11 access controls, network protocols and audit systems. His involvement in Linux began with the Linux Security Module work... Read More →
avatar for Steve Klabnik

Steve Klabnik

Rustacean, Oxide Computer
Steve is the co-author of the Rust book.

Julia Lawall

Researcher, Inria
verification, scheduling, coccinelle
avatar for Yannick Moy

Yannick Moy

Engineer, AdaCore
Yannick Moy is SPARK Product Manager at AdaCore and co-director of the ProofInUse joint laboratory with Inria. At AdaCore, he works on software source code analyzers CodePeer and SPARK, aiming either at detecting bugs or at verifying safety/security properties. Yannick leads... Read More →

Friday October 30, 2020 17:00 - 18:00 GMT
LSS Theater
  Linux Security Summit (LSS)
  • Skill Level Any
  • Technical Talk No