Sebastian Angel
9 papers · 2014–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+2 more ↓ Show less ↑
🧭 Keyword Pioneer 🌍 Conference Polyglot (2) 🏃 Academic Marathon (11) 🐣 Hot Topic Early Bird 🐝 Cross-Pollinator (11)
🌉
Interdisciplinary Bridge
📈
Trend Setter
Conferences
OSDI (7)
NSDI (2)
Top co-authors
Research topics
Keywords
distributed transaction
(2)
fault tolerance
(2)
privacy preservation
(1)
formal verification
(1)
speculative execution
(1)
trusted execution environment
(1)
metadata privacy
(1)
serverless computing
(1)
secure communication
(1)
zero-knowledge proof
(1)
private auction
(1)
public verifiability
(1)
affine aggregatable encoding
(1)
online ad exchange
(1)
bandwidth efficiency
(1)
state machine replication
(1)
key-value store
(1)
decentralized search engine
(1)
blockchain application
(1)
trusted hardware
(1)
Papers
Mako: Speculative Distributed Transactions with Geo-Replication
OSDI 2025
MuCache: A General Framework for Caching in Microservice Graphs
NSDI 2024
Addax: A fast, private, and accountable ad exchange infrastructure
NSDI 2023
Nimble: Rollback Protection for Confidential Cloud Services
OSDI 2023
Bringing Decentralized Search to Decentralized Services
OSDI 2021
Fault-tolerant and transactional stateful serverless workflows
OSDI 2020
Proving the correct execution of concurrent services in zero-knowledge
OSDI 2018
Unobservable Communication over Fully Untrusted Infrastructure
OSDI 2016
End-to-end Performance Isolation Through Virtual Datacenters
OSDI 2014