Alternatives and similar repositories for tpm2-tss-verified

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

• 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
• securesystemslab / periscope
  ☆65Updated 6 years ago
• shankarapailoor / moonshine
  ☆107Updated 6 years ago
• control-flow-attestation / c-flat
  Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software
  ☆43Updated 9 years ago
• ssl-tud / k-miner
  K-Miner
  ☆75Updated 6 years ago
• sslab-gatech / kernel-analyzer
  ☆73Updated 5 years ago
• Trustonic / trustonic-tee-driver
  Android driver for the Trusted Execution Environment <t-base
  ☆12Updated 10 years ago
• michaekang / android_s2e
  Run android with S2E
  ☆31Updated 10 years ago
• sslab-gatech / deadline
  ☆46Updated 3 years ago
• kengiter / lrsan
  LRSan: Detecting Lacking-Recheck Bugs in OS Kernels
  ☆30Updated 6 years ago
• dvyukov / syzkaller-repros
  Collection of syzkaller bug reproducers for Linux
  ☆45Updated 3 years ago
• teesec-research / optee_examples
  OP-TEE Trusted Applications vulnerable to memory corruption bugs.
  ☆15Updated 5 years ago
• mcfi / MCFI
  MCFI/PICFI tool chain
  ☆43Updated last year
• evanmak / savior-source
  source code for savior fuzzer
  ☆127Updated 5 years ago
• lzto / pex
  [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel
  ☆77Updated 3 years ago
• sslab-gatech / apisan
  APISan: Sanitizing API Usages through Semantic Cross-Checking
  ☆64Updated 3 years ago
• sslab-gatech / fuzzification
  We hinder fuzzing
  ☆68Updated 3 years ago
• TJAndHisStudents / TaintFlowAnalysis
  Gives tainting information for the provided bitcode file generated from binary.
  ☆44Updated 8 years ago
• tum-i4 / macke
  Modular And Compositional analysis with KLEE Engine
  ☆116Updated 5 years ago
• sslab-gatech / unisan
  UniSan: Proactive Kernel Memory Initialization to Eliminate Data Leakages
  ☆43Updated 3 years ago
• embedded-sec / ACES
  Automatic Compartments for Embedded Systems
  ☆24Updated 5 years ago
• CRYPTOlab / kint
  git://g.csail.mit.edu/kint
  ☆51Updated 11 years ago
• trailofbits / clang-cfi-showcase
  Sample programs that illustrate how to use control flow integrity with the clang compiler
  ☆107Updated 6 years ago
• umnsec / crix
  Detect missing check bugs in OS kernels
  ☆111Updated 2 years ago
• xiaoqx / pocs
  pocs of tested targets
  ☆20Updated 7 years ago
• trusslab / charm
  ☆20Updated 6 years ago
• intel / xom-switch
  ☆55Updated 3 years ago
• FICS / BigMAC
  BigMAC: Analysis tool to introspect and query Android security policies.
  ☆39Updated 2 years ago
• fiberx / fiber
  Source-binary patch presence test system.
  ☆84Updated 3 years ago
• mlaurenzano / PEBIL
  Fast static binary instrumentation for linux/x86
  ☆83Updated 8 years ago