marcelamelara
Research Scientist @ Intel Labs. I work on trustworthy distributed systems, software supply chain and OS security.
Pinned Repositories
private-data-objects
The Private Data Objects lab provides technology for confidentiality-preserving, off-chain smart contracts.
attestation
in-toto Attestation Framework
in-toto-golang
A Go implementation of in-toto. in-toto is a framework to protect software supply chain integrity.
acon
in-toto-py
in-toto is a framework to protect supply chain integrity.
in-toto.attestation
ITE-6 Attestation Definitions
in-toto.attestation-verifier
Prototype in-toto attestation verifier based on ITE-10 and ITE-11 layouts
in-toto.docs
Specification and other related documents.
private-data-objects
The Private Data Objects lab provides technology for confidentiality-preserving, off-chain smart contracts.
slsa
Supply-chain Levels for Software Artifacts
marcelamelara's Repositories
marcelamelara/private-data-objects
The Private Data Objects lab provides technology for confidentiality-preserving, off-chain smart contracts.
marcelamelara/acon
marcelamelara/in-toto-py
in-toto is a framework to protect supply chain integrity.
marcelamelara/in-toto.attestation
ITE-6 Attestation Definitions
marcelamelara/in-toto.attestation-verifier
Prototype in-toto attestation verifier based on ITE-10 and ITE-11 layouts
marcelamelara/in-toto.docs
Specification and other related documents.
marcelamelara/in-toto.golang
A Go implementation of in-toto. in-toto is a framework to protect software supply chain integrity.
marcelamelara/scai-demos
Software Supply Chain Attribute Integrity (SCAI) Demos and CLI tools
marcelamelara/slsa
Supply-chain Levels for Software Artifacts
marcelamelara/in-toto.io
marcelamelara/ossf.sbom-everywhere
Improve Software Bill of Materials (SBOM) tooling and training to encourage adoption
marcelamelara/ossf.tac
OpenSSF Technical Advisory Council