FTL: A new operating system for clouds
FTL, a new cloud OS, isolates Linux-compatible containers with a userspace library and a minimal kernel.
3
Stories per day · 30 days
4 stories, newest first · one card per story
Stories tagged #isolation
How CHERIoT Provides Strong and Usable Isolation Without an MMU
ACM Queue paper explains how CHERIoT uses CHERI hardware capabilities to give microcontroller-class IoT devices memory and privilege isolation without an MMU.
CertiFlash: A Formal Verification Framework for Flash Translation Layers in Computational Solid State Drives
CertiFlash provides machine-checked formal verification of SSD flash translation layers, proving isolation, integrity, and ownership invariants to prevent tenant data leaks.
Cloudflare Workers Spectre Attack Leaks JWT From Co
Researchers demonstrated a remote Spectre attack leaking a JWT between co-located Cloudflare Workers at 12 bits per second, 360x the 2021 rate.
1