Computer Science Colloquium
Secure Coding with RustMon 07.05.2018, 15:30, 90 minutes
JKU, Science Park 1 room MT226
AbstractMemory 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.
BioFlorian 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).