Skip to content
#

security-types

Star

Here is 1 public repository matching this topic...

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.

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 security-types
  • Updated Oct 4, 2026
  • Shell

Add this topic to your repo

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

Learn more