 |
Conference & Journal Papers
-
SCIF: A Language for Compositional Smart Contract Security
(In Submission)
-
Universal Composability is Robust Compilation
TOPLAS(To Appear)
- Computationally Bounded Robust Compilation and UC Security
- Semantics for Noninterference with Interaction Trees
- Compositional Security for Reentrant Applications
- Giving Semantics to Program-Counter Labels via Secure Effects
- First-Order Logic for Flow-Limited Authorization
- PIEs: Public Incompressible Encodings for Decentralized Storage
- Obladi: Oblivious Serializable Transactions in the Cloud
- Nonmalleable Information Flow Control
- Solidus: Confidential Distributed Ledger Transactions via PVORM
- Town Crier: An Authenticated Data Feed for Smart Contracts
All linked talks were given by the paper's first author unless otherwise noted.
† Talk given jointly by both authors.
‡ This PDF corrects typographical errors present in the published version of the paper.
Dissertation
- Mechanisms for Provable Integrity Protection in Decentralized Systems