non-interference

Here are 5 public repositories matching this topic...

hyperpolymath / absolute-zero

Multi-prover formal verification of Certified Null Operations (CNO: programs provably computing nothing) and Observational Null Disclosure (OND: programs provably revealing nothing). Two co-equal, logically independent pillars verified across Coq, Lean 4, and Agda, with axiom counts and out-of-scope residue lists honestly surfaced.

security coq agda formal-verification proof-engineering lean4 reversible-computing non-interference null-operations

Updated Aug 18, 2026
Rocq Prover

ib823 / riina

Star

Formally verified programming language with security properties proven in Coq. Zero external dependencies. Thousands theorems. 0 admits.

programming-language rust security compiler coq theorem-proving type-system formal-verification zero-trust information-flow bahasa-melayu effect-system mpl-2 non-interference

Updated Aug 20, 2026
Rust

Nick-heo-eg / jnis-spec

Star

Under reconstruction for proof validation of non-interference boundaries

specification standard compliance reproducibility observability governance traceability decision-boundary ai-safety risk-management evaluation-framework ai-governance llm-safety auditability non-interference

Updated Mar 24, 2026
Python

ideatrino / klythos

Star

A provably-bounded, compositional AI architecture. Seven pillars enforcing information-flow security, differential privacy, calibrated uncertainty, and Lyapunov stability — with the security-critical gates machine-checked by SMT over unbounded reals.

python reference-architecture z3 smt formal-verification ai-safety differential-privacy information-flow-control conformal-prediction byzantine-fault-tolerance lyapunov-stability non-interference privacy-accounting

Updated Jul 20, 2026
Python

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 non-interference 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 non-interference topic, visit your repo's landing page and select "manage topics."

Learn more