I'm a PhD student at MIT, interested in operating and distributed systems.
RR: A Fault Model for Efficient TEE Replication [pdf] [bibtex] [code]
Baltasar Dinis, Peter Druschel, Rodrigo Rodrigues
NDSS'23
CoVault: Secure, Scalable Analytics of Personal Data [pdf] [bibtex]
Roberta De Viti, Isaac Sheff, Noemi Glaeser, Baltasar Dinis, Rodrigo Rodrigues, Bobby Bhattacharjee, Anwar Hithnawi, Deepak Garg, Peter Druschel
arXiv
Taming Serverless Cold Starts Through OS Co-Design [pdf] [bibtex]
Ben Holmes, Baltasar Dinis, Lana Honcharuk, Joshua Fried, Adam Belay
arXiv