Selection-channel leakage evaluation for securities multi-agent systems
-
Updated
Aug 1, 2026 - JavaScript
#
information-flow-security
Here are 2 public repositories matching this topic...
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 information-flow-security topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the information-flow-security topic, visit your repo's landing page and select "manage topics."