Computer Science Colloquium
Im Rahmen des Informatik-Kolloquiums, das von den Instituten des Fachbereichs Informatik, der Österreichischen Gesellschaft für Informatik (ÖGI), der Arbeitsgemeinschaft für Datenverarbeitung (ADV) sowie der Österreichischen Computergesellschaft (OCG) abgehalten wird, spricht
über das Thema:
Secure Coding with Rust
Zeit: 2018-05-07 15:30:00.0, 90 Minuten
Ort: JKU, Science Park 1 room MT226
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.
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.
Einladender: Univ.-Ass. Michael Hölzl, Institute of Networks and Security