Recent Projects A unifying theme of my research is building trustworthy computer systems through three approaches: (1) decentralization, which enables programs to run on consensus networks without a trusted operator; (2) confidential and verifiable computation, which uses cryptographic proofs or trusted hardware to let users verify correct execution or protect private inputs; and (3) accountability, which gives users evidence of misbehavior. We develop foundational building blocks with the goal