Computer Science

Computer Science Colloquium

Florian Gilcher

Secure Coding with Rust

Mon 07.05.2018, 15:30, 90 minutes
JKU, Science Park 1 room MT226

Abstract

Memory safety violations, such as an array out-of-bound or dangling pointer access, lead to a number of well-known software bugs and malicious security attacks. Many of these vulnerabilities originate from systems programming languages which do not provide memory- and type-safety. "Rust" provides an alternative to such systems programming languages as well as other high-level programming languages with a set of characteristics that can help to improve security. In this talk, we will discuss the core features of Rust as well as its benefits for programmers. In particular, we investigate different aspects of Rust that help to improve the security of a system. By looking at examples of common security vulnerabilities, we will explore concepts such as "explicit mutability" or "static automatic memory management" that assist developers to avoid these frequent pitfalls.

Bio

Florian Gilcher is CEO of asquera GmbH and a contributor to the Rust project. His work is mainly focused on data handling problems and long-running, reliable software, where security is always a concern. He's also involved in running multiple conferences.
Invited by Univ.-Ass. Michael Hölzl, Institute of Networks and Security

The Computer Science Colloquium is organized by the Department of Coputer Science at JKU, the Österreichische Gesellschaft für Informatik (ÖGI) and the Österreichische Computergesellschaft (OCG).
List of all talks
Last modified on Thursday, 01-Jan-1970 01:00:00 CET