Building the decentralized infrastructure for society's computation.
Secure Decentralized Systems (SDS) are a new generation of computer systems with strong security guarantees codified in their design and verifiable by end users. Our research aims to advance the technical foundation of SDS and expand its capacity to secure the most critical systems that power society.
Specifically, our research program consists of the following three thrusts:
Select recent projects towards this vision are:
See the publication page for an up-to-date list of papers.
See the teaching page for a list offered by DSG.
DSG is currently supported by the generous grants and gifts from: