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
• control-flow-attestation / c-flat
  Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software
  ☆42Updated 8 years ago
• michaekang / android_s2e
  Run android with S2E
  ☆32Updated 10 years ago
• ssl-tud / k-miner
  K-Miner
  ☆75Updated 6 years ago
• dvyukov / syzkaller-repros
  Collection of syzkaller bug reproducers for Linux
  ☆45Updated 3 years ago
• purdue-secomp-lab / MEDS
  ☆37Updated 3 years ago
• shankarapailoor / moonshine
  ☆101Updated 6 years ago
• securesystemslab / periscope
  ☆65Updated 6 years ago
• teesec-research / tckit
  ☆32Updated 4 years ago
• evanmak / savior-source
  source code for savior fuzzer
  ☆127Updated 4 years ago
• TJAndHisStudents / TaintFlowAnalysis
  Gives tainting information for the provided bitcode file generated from binary.
  ☆44Updated 7 years ago
• Keysight / optee_fuzzer
  This repository contains the code for a fuzzing prototype for the OP-TEE system call interface using AFL.
  ☆138Updated 3 years ago
• trailofbits / clang-cfi-showcase
  Sample programs that illustrate how to use control flow integrity with the clang compiler
  ☆105Updated 6 years ago
• kengiter / lrsan
  LRSan: Detecting Lacking-Recheck Bugs in OS Kernels
  ☆29Updated 6 years ago
• CRYPTOlab / kint
  git://g.csail.mit.edu/kint
  ☆49Updated 11 years ago
• intel / xom-switch
  ☆55Updated 2 years ago
• GoSSIP-SJTU / k-hunt
  K-Hunt: Pinpointing Insecure Crypto Keys
  ☆44Updated 6 years ago
• sslab-gatech / caver
  ☆26Updated 9 years ago
• melynx / DOP-StaticAssist
  Public release of the tools used to assist in gadget finding.
  ☆42Updated 7 years ago
• pointer-authentication / parts-llvm
  PARTS / LLVM compiler
  ☆32Updated 5 years ago
• StanPlatinum / elf-respect
  https://arxiv.org/pdf/2007.10513.pdf
  ☆9Updated 3 years ago
• retme7 / mate7_TZ_exploit
  Huawei mate 7 TrustZone exploit
  ☆111Updated 9 years ago
• kengiter / RuntimeASLR
  Re-randomizing the memory layout of a process at runtime
  ☆21Updated 9 years ago
• tum-i4 / macke
  Modular And Compositional analysis with KLEE Engine
  ☆116Updated 5 years ago
• Trustonic / trustonic-tee-driver
  Android driver for the Trusted Execution Environment <t-base
  ☆12Updated 9 years ago
• fiberx / fiber
  Source-binary patch presence test system.
  ☆83Updated 2 years ago
• RUB-SysSec / antifuzz
  AntiFuzz: Impeding Fuzzing Audits of Binary Executables
  ☆103Updated 4 years ago
• dennisaa / patharmor
  PathArmor context-sensitive CFI implementation
  ☆45Updated 9 years ago
• evilpan / dataflow-pass
  A LLVM Pass with runtime dataflow sanitization
  ☆32Updated 6 years ago
• enfuzz / enfuzz
  ☆66Updated 5 years ago