Troupe programming language
security compiler information-flow-control information-flow information-flow-tracking language-based-security dynamic-monitoring
- Updated
- TypeScript
#
information-flow-control
Here are 16 public repositories matching this topic...
Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq
- Updated
- Coq
Inter-procedural analysis framework and dependency/information-flow analysis for LLVM
- Updated
- Shell
JSFlow is a security-enhanced JavaScript interpreter for fine-grained tracking of information flow.
- Updated
- TypeScript
Ontology-based Customization and Visualization of Information Flow control in an Industry 4.0 scenario
- Updated
- JavaScript
P4Control: Line-Rate Cross-Host Attack Prevention via In-Network Information Flow Control Enabled by Programmable Switches and eBPF
- Updated
- C
A library for static information-flow control in Idris
- Updated
- Idris
My master thesis on information flow control on a minimal version of the RISC-V architecture with a model checker
model-checking formal-methods formal-verification risc-v nusmv smv information-flow-control nuxmv information-flow-tracking
- Updated
- TeX
Deterministic execution boundary for AI agents. IFC enforcement at the sink. 5 frameworks. 50 attack vectors. Apache 2.0.
information-flow-control mvar autogen ai-security langchain prompt-injection crewai agent-security execution-boundary openclaw deterministic-policy
- Updated
- Python
Generates information-flow control mechanisms from a language's specification
- Updated
- Java
A SELinux configuration language that extends CIL with information flow requirements: semantics and verifier
- Updated
- OCaml
InFO is a policy language for regulating information flow control.
rdf owl ontology policy owl-ontology information-flow-control policy-language ontology-design-patterns
- Updated
Shared protocol types, receipt signing, and verification for the vault family
- Updated
- Rust
Test Project introducing the use of Information Flow Control in MontiSecArc
- Updated
- XSLT
A static information flow checker written in Python, for Python.
- Updated
- Python
🔧 Simplify your coding tasks with this easy-to-use tool for managing referral codes and automating processes in a local environment.
rpi interpreter drone cpp robotics toy reverse-engineering imgui coq toy-language embedded-systems quantum-computing quantum-circuit hacktoberfest 3d directx-11 information-flow-control small-step-semantics
- Updated
- Python
Improve this page
Add a description, image, and links to the information-flow-control 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-control topic, visit your repo's landing page and select "manage topics."