Research Projects
I have worked on (roughly in reverse chronological order):
-
SSCO and Orochi: verifying the execution of applications on untrusted servers
- Pretzel: making email encryption compatible with computations over the email, like spam filtering
- Cinch: defending against malicious peripherals using virtualization
- Popcorn: private media delivery using cryptography (PIR)
- Verifiable ASICs (Zebra, Giraffe): probabilistic proofs in hardware for high-assurance execution
- Pepper (and Ginger, Zaatar, Allspice, Pantry, Buffet): building systems atop probabilistic proofs
- Falcon (and Pigeon and Albatross): failure detection in distributed systems
- Vex: verifiability for auctions in online ad exchanges
- TreeHouse: sandboxing JavaScript
- Repair from a chair: remote tech support
- Depot: distributed storage without trust
- ICING: verifying and enforcing network paths
- speak-up
(also known as fighting fire with fire):
a defense to a particular kind of distributed denial of service (DDoS)
attack
- DQE: an approach to spam control
- Delegation-Oriented Architecture
(DOA)
- Semantic-Free Referencing
(SFR)