Showing 2025Show all
2 papers · 1 filter
cs.PL2025
A Verified High-Performance Composable Object Library for Remote Direct Memory Access (Extended Version)
Guillaume Ambal, George Hodgkins, Mark Madler +5
Remote Direct Memory Access (RDMA) is a memory technology that allows remote devices to directly write to and read from each other's memory, bypassing components such as the CPU an…
cs.DC2025
TEE is not a Healer: Rollback-Resistant Reliable Storage (Extended Version)
Sadegh Keshavarzi, Gregory Chockler, Alexey Gotsman
Recent advances in secure hardware technologies, such as Intel SGX or ARM TrustZone, offer an opportunity to substantially reduce the costs of Byzantine fault-tolerance by placing…