34 lines
854 B
Typst
34 lines
854 B
Typst
#import "@preview/polylux:0.3.1": *
|
|
#import themes.metropolis: *
|
|
#import "@preview/tablex:0.0.5": tablex, hlinex, vlinex, colspanx, rowspanx
|
|
|
|
#show: metropolis-theme.with(
|
|
footer: [CC BY-SA 4.0 Arthur Grisel-Davy]
|
|
)
|
|
|
|
#set text(font: "Fira Sans", weight: "light", size: 20pt)
|
|
#show math.equation: set text(font: "Fira Math")
|
|
#set strong(delta: 100)
|
|
#set par(justify: true)
|
|
|
|
#title-slide(
|
|
author: [Arthur Grisel-Davy],
|
|
title: text(size: 30pt, weight: 500)[Can't Trust the Machine. Physics-Based Log Verification.],
|
|
subtitle: "",
|
|
date: "University of Waterloo",
|
|
extra: "agriseld@uwaterloo.ca"
|
|
)
|
|
|
|
//#slide(title: "Table of contents")[
|
|
// #metropolis-outline
|
|
//]
|
|
|
|
#slide(title: "Introduction")[
|
|
#figure(image("images/intro_normal_hids.svg", width: 100%))
|
|
]
|
|
|
|
#slide(title: "Introduction")[
|
|
// Find example of HIDS that uses processes list
|
|
]
|
|
|
|
|