Giters
Temporally Enforced Security Logic Assertions (CTSRD-TESLA)

Temporally Enforced Security Logic Assertions

CTSRD-TESLA

Geek Repo

Home Page:http://www.cl.cam.ac.uk/research/security/ctsrd/

Github PK Tool:Github PK Tool

Temporally Enforced Security Logic Assertions's repositories

TESLA

Temporally Enforced Security Logic Assertions

Language:CLicense:NOASSERTIONStargazers:8Issues:10Issues:0

clang

Mirror of http://llvm.org/git/clang.git with TESLA features added.

Language:C++License:NOASSERTIONStargazers:5Issues:9Issues:0

llvm

Mirror of http://llvm.org/git/llvm.git. TESLA does not currently require any changes to LLVM, but we reserve the right to do so in the future!

Language:C++License:NOASSERTIONStargazers:4Issues:9Issues:0

teslabsd

Language:CLicense:NOASSERTIONStargazers:1Issues:2Issues:0

freebsd

FreeBSD src tree

Language:CLicense:NOASSERTIONStargazers:0Issues:5Issues:0