language-based-security

Here are 5 public repositories matching this topic...

Troupe programming language

An extensive implementation of the LightDP language of Zhang and Kifer used to prove algorithms to be privacy-preserving

Trustee is a simple, statically typed, functional language that supports security primitives and taint analysis.

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."