Skip to content

@CTSRD-TESLA Temporally Enforced Security Logic Assertions

Change the repository type filter

All

    Repositories list

    5 repositories

    • TESLA

      Public
      Temporally Enforced Security Logic Assertions
      C
      •
      Other
      •7•8•0•1•Updated Jul 21, 2015Jul 21, 2015

    • llvm

      Public
      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!
      C++
      •
      Other
      •2•4•0•0•Updated Jul 13, 2015Jul 13, 2015

    • freebsd

      Public
      FreeBSD src tree
      C
      •
      Other
      •2.9k•0•0•0•Updated Jun 10, 2015Jun 10, 2015

    • teslabsd

      Public
      C
      •
      Other
      •0•1•0•0•Updated Apr 14, 2014Apr 14, 2014

    • clang

      Public
      Mirror of http://llvm.org/git/clang.git with TESLA features added.
      C++
      •
      Other
      •2•5•0•0•Updated Aug 2, 2012Aug 2, 2012