rework Results.tex to include gVisor findings

This commit is contained in:
2026-04-09 16:40:25 +02:00
parent 67238d1bd8
commit e25c230427
14 changed files with 1387 additions and 575 deletions
+49
View File
@@ -62,6 +62,55 @@
\usepackage{tikz}
\usetikzlibrary{shapes.geometric}
\usepackage[edges]{forest}
\usepackage{listings} % Source code listings for evidence snippets
% Syntax-highlighting colors (xcolor is already loaded by the class file)
\definecolor{lstKeyword}{HTML}{0B5FA5}
\definecolor{lstComment}{HTML}{4B7B4D}
\definecolor{lstString}{HTML}{A31515}
\definecolor{lstNumber}{HTML}{707070}
\definecolor{lstBackground}{HTML}{F7F7F7}
\definecolor{lstFrame}{HTML}{C8C8C8}
\lstset{
basicstyle=\ttfamily\footnotesize,
keywordstyle=\color{lstKeyword}\bfseries,
commentstyle=\color{lstComment}\itshape,
stringstyle=\color{lstString},
numberstyle=\tiny\color{lstNumber},
identifierstyle=\color{black},
backgroundcolor=\color{lstBackground},
rulecolor=\color{lstFrame},
breaklines=true,
breakatwhitespace=false,
columns=fullflexible,
keepspaces=true,
showstringspaces=false,
frame=single,
framerule=0.4pt,
xleftmargin=0.5em,
xrightmargin=0.5em,
aboveskip=0.6em,
belowskip=0.6em,
captionpos=b,
}
\lstdefinelanguage{Nix}{
morekeywords={with,let,in,inherit,rec,if,then,else,import,true,false,null},
morecomment=[l]{\#},
morestring=[b]",
sensitive=true,
}
\lstdefinelanguage{Go}{
morekeywords={break,case,chan,const,continue,default,defer,else,fallthrough,
for,func,go,goto,if,import,interface,map,package,range,return,select,
struct,switch,type,var,bool,byte,complex64,complex128,error,float32,
float64,int,int8,int16,int32,int64,rune,string,uint,uint8,uint16,uint32,
uint64,uintptr,true,false,iota,nil,append,cap,close,complex,copy,delete,
imag,len,make,new,panic,print,println,real,recover},
morecomment=[l]{//},
morecomment=[s]{/*}{*/},
morestring=[b]",
morestring=[b]`,
sensitive=true,
}
\usepackage[backend=bibtex,style=numeric,natbib=true]{biblatex} %
% Use the bibtex backend with the authoryear citation style (which