Alternatives and similar repositories for tpm2-tss-verified

Users that are interested in tpm2-tss-verified are comparing it to the libraries listed below

• sslab-gatech / kernel-analyzer
  ☆72Updated 5 years ago
• Keysight / optee_fuzzer
  This repository contains the code for a fuzzing prototype for the OP-TEE system call interface using AFL.
  ☆141Updated 4 years ago
• michaekang / android_s2e
  Run android with S2E
  ☆32Updated 10 years ago
• ssl-tud / k-miner
  K-Miner
  ☆75Updated 6 years ago
• Trustonic / trustonic-tee-driver
  Android driver for the Trusted Execution Environment <t-base
  ☆12Updated 9 years ago
• shankarapailoor / moonshine
  ☆106Updated 6 years ago
• dvyukov / syzkaller-repros
  Collection of syzkaller bug reproducers for Linux
  ☆44Updated 3 years ago
• trailofbits / clang-cfi-showcase
  Sample programs that illustrate how to use control flow integrity with the clang compiler
  ☆106Updated 6 years ago
• control-flow-attestation / c-flat
  Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software
  ☆42Updated 9 years ago
• chyyuu / symexe
  symexe
  ☆96Updated 8 years ago
• tum-i4 / macke
  Modular And Compositional analysis with KLEE Engine
  ☆116Updated 5 years ago
• securesystemslab / periscope
  ☆65Updated 6 years ago
• retme7 / mate7_TZ_exploit
  Huawei mate 7 TrustZone exploit
  ☆110Updated 10 years ago
• jowinter / qemu-trustzone
  Experimental version of QEMU with basic support for ARM TrustZone (security extensions)
  ☆84Updated 11 years ago
• sslab-gatech / unisan
  UniSan: Proactive Kernel Memory Initialization to Eliminate Data Leakages
  ☆43Updated 3 years ago
• franchiotta / taintchecker
  Clang static checker that carries out tainting analysis.
  ☆88Updated 7 years ago
• evanmak / savior-source
  source code for savior fuzzer
  ☆127Updated 4 years ago
• teesec-research / optee_examples
  OP-TEE Trusted Applications vulnerable to memory corruption bugs.
  ☆15Updated 5 years ago
• lzto / pex
  [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel
  ☆77Updated 3 years ago
• intel / xom-switch
  ☆55Updated 3 years ago
• TJAndHisStudents / TaintFlowAnalysis
  Gives tainting information for the provided bitcode file generated from binary.
  ☆44Updated 7 years ago
• mcfi / MCFI
  MCFI/PICFI tool chain
  ☆43Updated last year
• umnsec / crix
  Detect missing check bugs in OS kernels
  ☆111Updated last year
• SCUBSRGroup / ThirdPartLibFuzzForAndroid
  Fuzzing framework for third part library of android system
  ☆22Updated 8 years ago
• embedded-sec / ACES
  Automatic Compartments for Embedded Systems
  ☆24Updated 5 years ago
• mlaurenzano / PEBIL
  Fast static binary instrumentation for linux/x86
  ☆83Updated 8 years ago
• xiaoqx / pocs
  pocs of tested targets
  ☆20Updated 7 years ago
• kengiter / lrsan
  LRSan: Detecting Lacking-Recheck Bugs in OS Kernels
  ☆30Updated 6 years ago
• purdue-secomp-lab / MEDS
  ☆37Updated 3 years ago
• ww9210 / kepler-cfhp
  Facilitating control-flow hijacking primitive evaluation for Linux kernel vulnerability
  ☆62Updated 6 years ago