Publications

Hardware-Enforced Integrity and Provenance for Distributed Code Deployments (pdf)
M. Melara and M. Bowman. NIST Workshop on Enhancing Software Supply Chain Security. June 2021.

Enabling Security-Oriented Orchestration of Microservices (preprint)
M. Melara and M. Bowman. ArXiv Preprint. May 2021.

EnclaveDom: Privilege Separation for Large-TCB Applications in Trusted Execution Environments (preprint)
M. Melara, M. Freedman, and M. Bowman. ArXiv Preprint. July 2019.

Pyronia: Redesigning Least Privilege and Isolation for the Age of IoT (preprint)
M. Melara, D. Liu, and M. Freedman. ArXiv Preprint. March 2019.

CONIKS: Bringing Key Transparency to End Users (pdf)
M. Melara, A. Blankstein, J. Bonneau, E. Felten, M. Freedman. USENIX Security 2015.
Won the 2017 Caspar Bowden PET Award

Shining the Floodlights on Mobile Web Tracking — A Privacy Survey (pdf)
C. Eubank, M. Melara, D. Perez Botero, A. Narayanan. W2SP 2013.

Vireos: an Integrated, Bottom-Up Educational Operating Systems Project with FPGA support (pdf)
M. Corliss, M. Melara. SIGCSE 2011.

Intra-Process Least Privilege and Isolation for Emerging Applications (pdf)
M. Melara. PhD Dissertation. Princeton University, Department of Computer Science.
Advisor: Michael J. Freedman. 2019.

CONIKS: Preserving Secure Communication with Untrusted Identity Providers (pdf)
M. Melara. Master's Thesis. Princeton University, Department of Computer Science.
Advisor: Edward W. Felten. 2014.

ELARA: Environmental Liaison and Automated Recycling Assistant (pdf)
M. Melara. Senior Honors Thesis. HWS Dept. of Math and Computer Science.
Advisor: John Vaughn. 2012.

Protecting the IoT Against Data Leaks through Intra-Process Access Control (poster) (slides)
M. Melara. Stony Brook University, National Security Institute Security & Privacy Day 2017.

CONIKS: Bringing Key Transparency to End Users (slides)
M. Melara. USENIX Security 2015.

Building an Automatic and Scalable Tool for Improving Environmental Recycling: ELARA (poster)
M. Melara. HWS Summer Research Symposium 2011.

Using FPGAs to Create a Complete Computer System for the Classroom (slides)
M. Melara. NYCWiC 2011.

Using FPGAs to Create a Complete Computer System for the Classroom (poster)
M. Melara. HWS Summer Research Symposium 2010.

Why Making Johnny's Key Management Transparent is So Challenging
M. Melara. Freedom to Tinker. March 2016.

There's Something Wrong With This Picture...
M. Melara. Guest blogger, Grand Central Blog. November 2010.

Busy Moms Need Energy
M. Melara. Guest blogger, Grand Central Blog. October 2010.