Alternatives and similar repositories for tpm2-tss-verified

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

• control-flow-attestation / c-flat
  Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software
  ☆43Updated 9 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
• sslab-gatech / kernel-analyzer
  ☆73Updated 5 years ago
• michaekang / android_s2e
  Run android with S2E
  ☆31Updated 10 years ago
• shankarapailoor / moonshine
  ☆107Updated 6 years ago
• securesystemslab / periscope
  ☆65Updated 6 years ago
• embedded-sec / ACES
  Automatic Compartments for Embedded Systems
  ☆24Updated 5 years ago
• Trustonic / trustonic-tee-driver
  Android driver for the Trusted Execution Environment <t-base
  ☆12Updated 10 years ago
• ssl-tud / k-miner
  K-Miner
  ☆75Updated 6 years ago
• purdue-secomp-lab / MEDS
  ☆37Updated 3 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
• dvyukov / syzkaller-repros
  Collection of syzkaller bug reproducers for Linux
  ☆45Updated 3 years ago
• umnsec / crix
  Detect missing check bugs in OS kernels
  ☆111Updated 2 years ago
• sslab-gatech / unisan
  UniSan: Proactive Kernel Memory Initialization to Eliminate Data Leakages
  ☆43Updated 3 years ago
• TJAndHisStudents / TaintFlowAnalysis
  Gives tainting information for the provided bitcode file generated from binary.
  ☆44Updated 8 years ago
• trailofbits / clang-cfi-showcase
  Sample programs that illustrate how to use control flow integrity with the clang compiler
  ☆106Updated 6 years ago
• sslab-gatech / kenali-kernel
  Modified Nexus 9 kernel for Kenali Project
  ☆30Updated 6 years ago
• OSUSecLab / LeakScope
  Value set analysis(VSA) for revealing the possible values (strings) of the keys from mobile app
  ☆43Updated 5 years ago
• sslab-gatech / deadline
  ☆46Updated 3 years ago
• intel / xom-switch
  ☆55Updated 3 years ago
• kengiter / lrsan
  LRSan: Detecting Lacking-Recheck Bugs in OS Kernels
  ☆30Updated 6 years ago
• mustakimur / COIN-Attacks
  COIN Attacks: on Insecurity of Enclave Untrusted Interfaces in SGX - ASPLOS 2020
  ☆26Updated 2 years ago
• mcfi / MCFI
  MCFI/PICFI tool chain
  ☆43Updated last year
• seclab-ucr / KOOBE
  Towards Facilitating Exploit Generation of Kernel Out-Of-Bounds Write Vulnerabilities
  ☆90Updated last year
• evanmak / savior-source
  source code for savior fuzzer
  ☆127Updated 5 years ago
• retme7 / mate7_TZ_exploit
  Huawei mate 7 TrustZone exploit
  ☆109Updated 10 years ago
• taptipalit / dynpta
  ☆15Updated 4 years ago
• ww9210 / kepler-cfhp
  Facilitating control-flow hijacking primitive evaluation for Linux kernel vulnerability
  ☆62Updated 6 years ago
• fiberx / fiber
  Source-binary patch presence test system.
  ☆84Updated 3 years ago