4 ms·
From February. Seems current work might be in https://github.com/CyberHive/rust-cheri https://github.com/CyberHive/rust-cheri Did not realize until watching th
by mlinksva 3y ago
From February. Seems current work might be in https://github.com/CyberHive/rust-cheri https://github.com/CyberHive/rust-cheri
Did not realize until watching the video that this seems to be funded by the UK, thank you! https://www.ukri.org/what-we-do/our-main-funds-and-areas-of-support/browse-our-areas-of-investment-and-support/digital-security-by-design/ https://www.ukri.org/what-we-do/our-main-funds-and-areas-of-...
The DSBD program has some interesting looking videos on YT. Another short (11m) one is about why you'd want hardware capabilities with a safe language (don't lose safety when calling unsafe code, IIUC) https://www.youtube.com/watch?v=sNbdOFk26jw https://www.youtube.com/watch?v=sNbdOFk26jw