Sebastian Angel
9 papers · 2014–2025 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
๐
Conference Polyglot ยท Bronze
๐
Academic Marathon ยท Half
๐
Interdisciplinary Bridge ยท Silver
๐
Trend Setter
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