9 citations · 19 across the 6 of their papers we have counts for
6 papers
Software Supply Chain Attribute Integrity (SCAI)
Marcela S. Melara
The Software Supply Chain Attribute Integrity, or SCAI (pronounced "sky"), specification proposes a data format for capturing functional attribute and integrity information about s…
What is Software Supply Chain Security?
Marcela S. Melara, Mic Bowman
The software supply chain involves a multitude of tools and processes that enable software developers to write, build, and ship applications. Recently, security compromises of tool…
Hardware-Enforced Integrity and Provenance for Distributed Code Deployments
Marcela S. Melara, Mic Bowman
Deployed microservices must adhere to a multitude of application-level security requirements and regulatory constraints imposed by mutually distrusting application principals--soft…
Enabling Security-Oriented Orchestration of Microservices
Marcela S. Melara, Mic Bowman
As cloud providers push multi-tenancy to new levels to meet growing scalability demands, ensuring that externally developed untrusted microservices will preserve tenant isolation h…
EnclaveDom: Privilege Separation for Large-TCB Applications in Trusted Execution Environments
Marcela S. Melara, Michael J. Freedman, Mic Bowman
Trusted executions environments (TEEs) such as Intel(R) SGX provide hardware-isolated execution areas in memory, called enclaves. By running only the most trusted application compo…
Pyronia: Intra-Process Access Control for IoT Applications
Marcela S. Melara, David H. Liu, Michael J. Freedman
Third-party code plays a critical role in IoT applications, which generate and analyze highly privacy-sensitive data. Unlike traditional desktop and server settings, IoT devices mo…