Theory

2024-09-02 YOSO Randomness Generation with Worst-Case Corruptions
2024-08-23 miniCodeProps: a Benchmark for Proving Code Properties
2024-07-31 Efficient Anonymous Blocklisting
2024-05-08 Understanding Setup Times
2024-04-11 Better streaming algorithms for Maximum Directed Cut via 'snapshots'
2023-07-19 Code Conversion in Distributed Storage Systems
2022-12-06 Time-Traveling Simulation for Security