Главная
Study mode:
on
1
Intro
2
Motivation: Hardware You Can Trust With Your Life
3
Complex Things are Hard to Analyze
4
Software Isolation is Dead Speed or safety: pick one
5
Motivated Adversaries
6
Untrustable Supply Chains
7
There is no HMAC for Hardware
8
State of the Art: Secure Enclaves
9
The 1/0 Problem
10
Bottom Line: Want Trust? There are Tradeoffs
11
Betrusted: Verification Requires Simplicity. Simplicity Requires Focus. • The solution depends on
12
The Betrusted Design Context
13
Simple and Verifiable by Design
14
Design Envelope Summary
15
Xous: A Betrusted OS
16
Betrusted Goals
17
Microkernels
18
Too Many Cooks
19
Felix' Rule of Thumb
20
Principles of Software
21
Rust OS Landscape
22
Rust-based OS: Redox
23
Rust-based OS: Tifflin
24
Xous: Memory Model
25
Xous: Interrupts
26
Xous: Missing Features
27
Betrusted: Software
28
Rust Development progression
29
i18n: output
30
Emojis!
31
i18n: input
32
Layer #2: The device
33
How can I get involved?
Description:
Explore the concept of physical partitioning for enhanced security in this 48-minute conference talk from linux.conf.au. Learn about the Betrusted project, which aims to create a separate device for secure applications using security-first principles. Discover how this approach minimizes attack surfaces, eliminates microarchitectural side channels, and allows users to focus on secure transactions. Gain insights into the project's scope, from secure silicon to application layer code, and find out how to contribute to this open-source initiative. Delve into topics such as secure enclaves, hardware verification, the Xous operating system, and the challenges of creating trustworthy hardware and software.

Betrusted - Better Security Through Physical Partitioning

linux.conf.au
Add to list