Conference Papers
-
SCIF: A Language for Compositional Smart Contract Security
(In Submission)
-
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
Workshop Papers
-
Securing Smart Contracts with Information Flow
Dissertation
-
Mechanisms for Provable Integrity Protection in Decentralized Systems