kivava
@kivava
說
Fri, Feb 5, 2021 9:49 PM
TockOS, A secure embedded operating system for microcontrollers
tock/tock

The kernel and device drivers are written in Rust

Tock uses memory protection units to isolate applications from each other and the kernel
kivava
@kivava
說
Fri, Feb 5, 2021 9:50 PM
GitHub - google/OpenSK: OpenSK is an open-source implementation for security keys written in Rust that supports both FIDO U2F and FIDO2 standards.
google/OpenSK

a Rust implementation of a FIDO2 authenticator.
kivava
@kivava
說
Fri, Feb 5, 2021 9:54 PM
tock/tock
kivava
@kivava
說
Fri, Feb 5, 2021 9:54 PM
https://imgs.plurk.com/QzI/6y3/XXiLfoqY4VNqTkcN2FLcUaeuykp_lg.png
kivava
@kivava
說
Fri, Feb 5, 2021 9:55 PM
https://imgs.plurk.com/QzI/Y5o/5t7G1mWiaKeTgJ5M6p4NR4ym5vG_lg.png
kivava
@kivava
說
Fri, Feb 5, 2021 9:57 PM
process 是不可信任的，但peripherial可信? 這應該只有談 memory safe.. 真的可trusted，會像 M33 那樣，連通訊都需要加上金鑰認證甚至是加密，才能確保周邊通訊傳送的內容是可信賴的
載入新的回覆