Rust is a modern systems programming language combining imperative and functional paradigms with an advanced type system. Using conservative static checking, it is able to guarantee complete memory and thread safety while achieving performance characteristics similar to C.

This talk will give an introduction to core concepts of the language and discuss in-depth how certain runtime errors and security-relevant problems are avoided. The audience is expected to have a firm grasp on type systems as well as imperative and functional programming concepts. Prior knowledge of Rust is not required.