~/talks

David Mazières

what they talk about

all 9 in the filters

where they keep going back

all 6 in the filters

on a stage with

all 26 in the filters

who talks about the same things

titleconferencedate
Deterministic Client: Enforcing Determinism on Untrusted Machine CodeOSDI '252025-07-07
Deterministic Client (DeCl) enforces determinism for x86-64 and Arm64 machine code by rewriting LLVM output and verifying machine-code verifier constraints…
Talk on
Sidekick: In-Network Assistance for Secure End-to-End Transport Protocols21st USENIX Symposium on Networked Systems Design and Implementation (NSDI '24)2024-04-16
Sidekick exposes concise side-channel signalling from a middlebox to an endpoint so encrypted transports like QUIC can get in-network hints without changing…
Talk on
Accountable authentication with privacy protection: The Larch system for universal loginOSDI 20232023-07-10
Larch splits each authentication secret between client and a log server so an attacker who compromises a device cannot authenticate without producing an…
Talk on
SPEEDEX: A Scalable, Parallelizable, and Economically Efficient Decentralized EXchange...NSDI 20232023-04-17
SPEEDEX implements an Arrow-Debreu exchange market inside a Layer‑1 blockchain, computing unique per-block asset valuations so all trades use the same exchange…
Talk on
Founders Fireside ChatMeridian 20222022-10-11
Thirty-minute conversation that explains why Stellar avoids mining, how the Stellar consensus protocol uses quorum slices to secure non-cryptocurrency assets…
Panel on
Soroban OriginsMeridian 20222022-10-11
Soroban is presented as a fresh on‑chain smart‑contracts platform built atop Stellar without changing consensus: WASM‑based contracts, separate “execution…
Talk on
How the Stellar Network GrewMeridian 20212021-11-17
2021 on Stellar centers on concrete wins: Circle’s stellar usdc goes live and sparks integrations (exchanges, wallets, MoneyGram pilot for near‑instant…
Talk on
Fast and Secure Global Payments with StellarBlockchain in Society: Applications, Economics, Law, and Ethics 20192019-11-18
Stellar implements a production payment network that claims issuer-enforced finality and cross-issuer atomicity via the Stellar Consensus Protocol where nodes…
Talk on
Shinjuku: Preemptive Scheduling for μsecond-scale Tail LatencyNSDI 20192019-02-26
Kostis Kaffes, Timothy Chong, and Jack Tigar Humphries, Stanford University; Adam Belay, Massachusetts Institute of Technology; David Mazières and Christos…
Talk
EyeQ: Practical Network Performance Isolation at the EdgeNSDI 20132013-04-02
EyeQ enforces per-VM bandwidth guarantees at the server edge using per-VM virtual links and explicit rate feedback (RCP) sampled from incoming packets…
Talk on
~/search
type to search 6,249 conferences, 138,987 speakers and 185,172 talks
~/help
cmdctrl k
search every conference, speaker and series
/
focus the filter search
h
home
c
conferences
s
speakers
e
series
t
light / dark — the status bar button does the same
?
this help
esc
close this, then clear every filter — or just the search, while you are typing in it

Ignored while you are typing. Pages without a filter rail have no search to focus.