Skip to content
#

declassification

Star

Here are 5 public repositories matching this topic...

Language: All
Filter by language
All 5 Python 2 Go 1 Shell 1 TypeScript 1

hyperpolymath / secret-types

Sponsor
Star 1

Research specification for confidentiality-labelled information flow in type systems, with explicit audited declassification and declassification-aware noninterference as the proof target. Specification-stage only; no checker or runtime.

open-source type-theory programming-languages formal-methods confidentiality computer-security information-flow-control security-research information-flow type-systems language-based-security noninterference lattice-theory declassification hyperpolymath epistemic-infrastructure epistemic-computing veridical-computing typed-provenance security-types
  • Updated Nov 12, 2026
  • Shell

Add this topic to your repo

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

Learn more