59 lines
1.1 KiB
Typst
59 lines
1.1 KiB
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, Sebastian Fischmeister],
|
|
title: "Independent Boot Process Verification using Side-Channel Power Analysis",
|
|
subtitle: "",
|
|
date: "University of Waterloo",
|
|
extra: "agriseld@uwaterloo.ca"
|
|
)
|
|
|
|
#slide(title: "Introduction")[
|
|
]
|
|
|
|
#slide(title: "Overview")[
|
|
#image("images/illustration.svg", width: 100%)
|
|
]
|
|
|
|
#slide(title: "BPV Model")[
|
|
]
|
|
|
|
#slide(title: "Multi-Model Support")[
|
|
]
|
|
|
|
#focus-slide()[
|
|
Test Cases
|
|
]
|
|
|
|
#slide(title: "Test Case 1")[
|
|
|
|
]
|
|
|
|
//#slide(title: "Table of contents")[
|
|
// #metropolis-outline
|
|
//]
|
|
|
|
|
|
|
|
|
|
#focus-slide()[
|
|
#align(center)[Thank you for your attention.]
|
|
]
|
|
|
|
|
|
//#new-section-slide([Second section])
|
|
//
|
|
//#focus-slide[
|
|
// Wake up!
|
|
//]
|