Troupe programming language
security
compiler
information-flow-control
information-flow
information-flow-tracking
language-based-security
dynamic-monitoring
-
Updated
Jun 9, 2024 - TypeScript
Troupe programming language
An extensive implementation of the LightDP language of Zhang and Kifer used to prove algorithms to be privacy-preserving
A static analysis tool that searches for possible vulnerabilities in the form of illegal information flows for the PHP programming language
Trusted Execution Environment for Mobile Code
Add a description, image, and links to the language-based-security topic page so that developers can more easily learn about it.
To associate your repository with the language-based-security topic, visit your repo's landing page and select "manage topics."