Baltasar Dinis

I'm a PhD student at MIT, interested in operating and distributed systems.

Publications

RR: A Fault Model for Efficient TEE Replication [pdf] [bibtex] [code]
Baltasar Dinis, Peter Druschel, Rodrigo Rodrigues
NDSS'23

CoVault: Secure High-Stakes Analytics [pdf] [bibtex]
Roberta De Viti, Isaac Sheff, Noemi Glaeser, Baltasar Dinis, Rodrigo Rodrigues, Jonathan Katz, Bobby Bhattacharjee, Anwar Hithnawi, Deepak Garg, Peter Druschel
arXiv