From 9a18b40dadc10c86e77a63db1a4735260073c184 Mon Sep 17 00:00:00 2001 From: Stefan Junker Date: Wed, 5 Apr 2017 16:39:52 +0200 Subject: [PATCH] thesis: topic refinement --- src/docs/thesis.tex | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/docs/thesis.tex b/src/docs/thesis.tex index 6fdaf4c..01a169d 100644 --- a/src/docs/thesis.tex +++ b/src/docs/thesis.tex @@ -20,7 +20,7 @@ \usepackage[numberedsection,toc,numberline,nopostdot]{glossaries} \makenoidxglossaries -\newcommand{\topic}{Leveraging Static Code Analysis To Improve The Memory Safety For Kernel Tasks} +\newcommand{\topic}{Ensuring Memory-Safety within Address Spaces Using Rust's Static Code Analysis} \newcommand{\authorOne}{Stefan Junker} \newcommand{\authorOneInit}{SJ}