Media Summary: Bringing Decentralized Search to Decentralized Services Mingyu Li, Jinhao Zhu, and Tianxu Zhang, Institute of Parallel and ... DMon: Efficient Detection and Correction of Data Locality Problems Using Selective Profiling Poor data locality hurts an ... Zeph: Cryptographic Enforcement of End-to-End Data Privacy Lukas Burkhalter, Nicolas Küchler, Alexander Viand, Hossein ...

Osdi 21 Finding Consensus Bugs - Detailed Analysis & Overview

Bringing Decentralized Search to Decentralized Services Mingyu Li, Jinhao Zhu, and Tianxu Zhang, Institute of Parallel and ... DMon: Efficient Detection and Correction of Data Locality Problems Using Selective Profiling Poor data locality hurts an ... Zeph: Cryptographic Enforcement of End-to-End Data Privacy Lukas Burkhalter, Nicolas Küchler, Alexander Viand, Hossein ... Polyjuice: High-Performance Transactions via Learned Concurrency Control Jiachen Wang, Institute of Parallel and Distributed ... MAGE: Nearly Zero-Cost Virtual Memory for Secure Computation Sam Kumar, David E. Culler, and Raluca Ada Popa, University ... [Talk Preview] DIFUZZRTL: Differential Fuzz Testing to

In the 40th reading group meeting we have discussed yet another Large, production quality distributed systems still fail periodically, and do so sometimes catastrophically, where most or all users ... Validating the eBPF Verifier via State Embedding Hao Sun and Zhendong Su, ETH Zurich This paper introduces state embedding, ... Visit the to gain access to the entire library of Devcon talks with the ease of filtering, playlists, ...

Photo Gallery

OSDI '21 - Finding Consensus Bugs in Ethereum via Multi-transaction Differential Fuzzing
OSDI '20 - Gauntlet: Finding Bugs in Compilers for Programmable Packet Processing
OSDI '21 - Bringing Decentralized Search to Decentralized Services
OSDI '21 - DMon: Efficient Detection and Correction of Data Locality Problems Using Selective
OSDI '21 - Zeph: Cryptographic Enforcement of End-to-End Data Privacy
USENIX ATC '21/OSDI '21 Joint Keynote Address - Distributed Trust: Is “Blockchain” the answer?
OSDI '21 - Polyjuice: High-Performance Transactions via Learned Concurrency Control
OSDI '21 - MAGE: Nearly Zero-Cost Virtual Memory for Secure Computation
BSides Berlin 2022: Daniel Schmidt - Finding Consensus Bugs in Novel EVM Implementations with LibAFL
OSDI '24 - Detecting Logic Bugs in Database Engines via Equivalent Expression Transformation
DIFUZZRTL: Differential Fuzz Testing to Find CPU Bugs
USENIX Security '21 - Detecting Kernel Refcount Bugs with Two-Dimensional Consistency Checking
Sponsored
Sponsored
View Detailed Profile
Sponsored
Sponsored