70 lines
1.8 KiB
Typst
70 lines
1.8 KiB
Typst
#import "@preview/polylux:0.3.1": *
|
|
#import themes.metropolis: *
|
|
#import "@preview/tablex:0.0.5": tablex, hlinex, vlinex, colspanx, rowspanx
|
|
#import emoji: checkmark, crossmark
|
|
//#import symbol: approx
|
|
|
|
#show: metropolis-theme.with(
|
|
footer: [CC BY-SA 4.0 Arthur Grisel-Davy]
|
|
)
|
|
|
|
|
|
#set text(font: "Fira Sans", weight: "light", size: 20pt)
|
|
#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
|
|
// malwarebyte
|
|
// windows defender
|
|
]
|
|
|
|
#slide(title:"")[
|
|
#align(center)[#text(size:1.2em, weight:"bold")[Only uncompromised hosts provide trustworthy information.]]
|
|
]
|
|
|
|
|
|
#slide(title: "Introduction")[
|
|
#figure(image("images/overview_verification_step.svg", width: 100%))
|
|
]
|
|
|
|
#slide(title: "Introduction")[
|
|
|
|
#let check = table.cell(fill: green.lighten(60%))[*#sym.checkmark*]
|
|
#let cross = table.cell(fill: red.lighten(60%))[*#sym.times*]
|
|
#let middle = table.cell(fill: orange.lighten(60%))[*#sym.approx*]
|
|
|
|
#align(center)[
|
|
#table(
|
|
columns: 4,
|
|
align: (left, center, center, center),
|
|
stroke: none,
|
|
gutter: 0.5em,
|
|
table.hline(position: bottom),
|
|
table.header([*Feature*], [*Power*], [*EM*], [*Sound*]),
|
|
[Independence], check, check, check,
|
|
[Correlation], check, cross, middle,
|
|
[Ease of Capture], check, check, middle,
|
|
[Location Insensitivity], check, cross, cross,
|
|
[Actionability], [], [], []
|
|
)
|
|
|
|
]
|
|
]
|
|
|