Security

2024-09-06 NodeMedic-FINE: Automatic Detection and Exploit Synthesis for Node.js Vulnerabilities
2024-09-02 YOSO Randomness Generation with Worst-Case Corruptions
2024-08-05 Oblivious Maps for Trusted Execution Environments
2024-07-31 Efficient Anonymous Blocklisting
2024-06-27 Maximal Extractable Value in Ethereum
2024-05-16 Piano: Extremely Simple, Single-Server Private Information Retrieval
2023-07-25 Provably-Safe Sandboxing with WebAssembly
2022-12-06 Time-Traveling Simulation for Security