runtime-attestation

Here are 3 public repositories matching this topic...

popivanova / airlock

airlock is a cryptographic handshake protocol for verifying AI model identity at runtime. It enables real-time attestation of model provenance, environment integrity, and agent authenticity - without relying on vendor trust or static manifests.

Updated Apr 30, 2026

rosieRRRRR / pqvl

Star

Deterministic, tick bound runtime integrity verification that blocks execution under drift or tamper before any sensitive operation.

post-quantum-cryptography ai-security runtime-security policy-enforcement drift-detection tamper-detection execution-control runtime-attestation deterministic-attestation configuration-integrity runtime-security-

Updated Jan 8, 2026

COMET-DEPS / non-interference-attestation-poc

Star

Go PoC for ASM-based behavioral attestation of information-flow non-interference in a concurrent multi-level stack. Companion artifact for our MEMOCODE 2026 paper.

golang security formal-methods formal-verification concurrent-systems runtime-verification hyperproperties abstract-state-machines runtime-attestation non-interference information-flow-security

Updated Aug 12, 2026
Go

Improve this page

Add a description, image, and links to the runtime-attestation topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the runtime-attestation topic, visit your repo's landing page and select "manage topics."

Learn more