Media Summary: DMon: Efficient Detection and Correction of Data Locality Problems Using Selective Profiling Poor data locality hurts an ... Bringing Decentralized Search to Decentralized Services Mingyu Li, Jinhao Zhu, and Tianxu Zhang, Institute of Parallel and ... 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
DMon: Efficient Detection and Correction of Data Locality Problems Using Selective Profiling Poor data locality hurts an ... Bringing Decentralized Search to Decentralized Services Mingyu Li, Jinhao Zhu, and Tianxu Zhang, Institute of Parallel and ... 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 ... Anish Agrawal, co-founder and CTO at Olympix, presents a technical approach to smart contract security using symbolic execution ...
[Talk Preview] DIFUZZRTL: Differential Fuzz Testing to
