Riad S. Wahby
where else to find them
what they talk about
all 4 in the filters
where they keep going back
no series more than once — all 4 in the filters
on a stage with
- Andrew J. Blumbergonce
- Catherine Wuonce
- Dan Bonehonce
all 17 in the filters
who talks about the same things
nobody close enough yet
| title | conference | date |
|---|---|---|
| Universal Composability is Robust Compilation | POPL 2025 | 2025-01-19 |
Paper claims UC security and robust compilation are equivalent under clear axioms and gives a recipe to mechanize UC proofs. It axiomatizes UC semantics, maps… | ||
| Proofs Without Evidence: Assurance on the Blockchain and Other Applications | RSAC 2022 | 2022-06-06 |
Moderator:
Dan Boneh, Professor, Stanford University
Panelists:
Dave Archer, Principal Scientist, Galois Inc.
Riad Wahby, Faculty, Carnegie Mellon… | ||
| Salsify: Low-Latency Network Video through Tighter Integration | NSDI '18 | 2018-04-09 |
Salsify tightly couples a transport that predicts the next frame size with a per-frame optimization loop and a functional video codec that can save/restore… | ||
| Defending against Malicious Peripherals with Cinch | USENIX Security '16 | 2016-08-10 |
Cinch virtualizes the USB bus into a sacrificial VM and inserts a modular enforcer between that VM and the protected system, implemented as a Rust user process… | ||
| nothing matches | ||