From 00bb9380b2806065fe6485d1f01acf4b0baa28db Mon Sep 17 00:00:00 2001 From: Christoph Urlacher Date: Fri, 3 Jul 2026 01:50:19 +0200 Subject: [PATCH] Wrap bibliography in \sloppy to prevent overfull hboxes --- chapters/02_related_work/02_00_related_work.tex | 7 ------- chapters/03_background/03_03_fail.tex | 4 ++++ preamble.tex | 3 +++ titlepage.tex | 8 ++++---- 4 files changed, 11 insertions(+), 11 deletions(-) diff --git a/chapters/02_related_work/02_00_related_work.tex b/chapters/02_related_work/02_00_related_work.tex index d168547..c71e118 100644 --- a/chapters/02_related_work/02_00_related_work.tex +++ b/chapters/02_related_work/02_00_related_work.tex @@ -7,13 +7,6 @@ \chapter{Related Work}\label{ch:relatedwork} Related work is for similar work (e.g., Wasm with software-based mitigation). - -\section{FAIL* Paper/Dissertation} - -\section{Other Fault-Injection Papers?} - -\section{Wasm Hardening Papers} - In a wider sense also hardening papers for e.g., Python could be considered. diff --git a/chapters/03_background/03_03_fail.tex b/chapters/03_background/03_03_fail.tex index dd62a9c..4c745c7 100644 --- a/chapters/03_background/03_03_fail.tex +++ b/chapters/03_background/03_03_fail.tex @@ -14,5 +14,9 @@ \end{itemize} \Gls{fail}~\autocite{schirmeierFAILOpenVersatile2015} is an emulation-based vulnerability analysis tool. +It provides a toolset to perform \gls{fi} experiments to analyze the vulnerability of software to transient hardware faults. +In contrast to other \gls{fi} tools, \Gls{fail} enables deep simulator state access while simultaneously supporting multiple simulator backends, like BOCHS~\autocite{bochs} or gem5\footnote{\url[2026-07-02]{https://www.gem5.org/}}. % TODO: Give examples for other FI frameworks + +% FAIL components/structure/architecture \end{document} diff --git a/preamble.tex b/preamble.tex index 91a760d..f461f5e 100644 --- a/preamble.tex +++ b/preamble.tex @@ -206,8 +206,11 @@ \let\cite\undefined% \let\cite\oldcite% + % Allow wider inter-word-spacing to prevent overfull hboxes in the bibliography + \sloppy% \printbibliography[heading=bibintoc] % \printbibliography% + \endsloppy% \cleardoublepage% % Only compile lists/declaration with the main document diff --git a/titlepage.tex b/titlepage.tex index 089a8c4..90a9e28 100644 --- a/titlepage.tex +++ b/titlepage.tex @@ -4,7 +4,7 @@ \birthday{1st of January 2000} \birthplace{Ratingen} \thesisstart{1st of July 2026} -\thesisend{December 31st, 2026} +\thesisend{December 31st, 1900} \advisors{Prof.\ Dr.-ing.~Peter Ulbrich\\Dr.~Maximilian Seidler} \date{\today} @@ -46,7 +46,7 @@ Department of Computer Science\\ Computer Science XII\\ System Software Group\\ - TU Dortmund University\\ + Technical University of Dortmund\\ \vspace{1cm} @@ -58,8 +58,8 @@ % People \begin{tabular}{r l} Primary Reviewer: & Prof.\ Dr.-ing.~Peter Ulbrich \\ - Secondary Reviewer: & Someone? \\ - Supervisor: & Someone? \\ + Secondary Reviewer: & Someone \\ + Supervisor: & Someone \\ \end{tabular}