77 lines
1.3 KiB
Typst
77 lines
1.3 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: "Capture System")[
|
|
//#image("images/setup.svg", width: 100%)
|
|
//Add figure like the l3 setup but more general
|
|
]
|
|
|
|
#slide(title: "BPV Model")[
|
|
]
|
|
|
|
#slide(title: "Multi-Model Support")[
|
|
]
|
|
|
|
#focus-slide()[
|
|
Test Cases
|
|
]
|
|
|
|
#slide(title: "Test Case 1")[
|
|
|
|
]
|
|
|
|
#slide(title: "Test Case 1 - Results")[
|
|
]
|
|
|
|
|
|
#slide(title: "Test Case 2")[
|
|
|
|
]
|
|
|
|
#slide(title: "Test Case 2 - Results")[
|
|
]
|
|
|
|
|
|
#slide(title: "Test Case 3")[
|
|
]
|
|
|
|
#slide(title: "Test Case 3 - Results")[
|
|
]
|
|
|
|
#slide(title: "Future Work")[
|
|
]
|
|
|
|
#slide(title: "Conclusion")[
|
|
]
|
|
|
|
|
|
|
|
|
|
#focus-slide()[
|
|
#align(center)[Thank you for your attention.]
|
|
]
|