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
• sslab-gatech / kernel-analyzer
  ☆74Updated 6 years ago
• michaekang / android_s2e
  Run android with S2E
  ☆31Updated 11 years ago
• securesystemslab / periscope
  ☆68Updated 6 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
  ☆45Updated 9 years ago
• ssl-tud / k-miner
  K-Miner
  ☆74Updated 6 years ago
• dvyukov / syzkaller-repros
  Collection of syzkaller bug reproducers for Linux
  ☆44Updated 3 years ago
• Trustonic / trustonic-tee-driver
  Android driver for the Trusted Execution Environment <t-base
  ☆12Updated 10 years ago
• tum-i4 / macke
  Modular And Compositional analysis with KLEE Engine
  ☆117Updated 6 years ago
• avatartwo / ndss18_wycinwyc
  ☆67Updated 5 years ago
• mlaurenzano / PEBIL
  Fast static binary instrumentation for linux/x86
  ☆83Updated 8 years ago
• purdue-secomp-lab / MEDS
  ☆37Updated 3 years ago
• sslab-gatech / unisan
  UniSan: Proactive Kernel Memory Initialization to Eliminate Data Leakages
  ☆43Updated 4 years ago
• mcfi / MCFI
  MCFI/PICFI tool chain
  ☆44Updated last year
• shankarapailoor / moonshine
  ☆107Updated 6 years ago
• lzto / pex
  [USENIX SECURITY'19] PeX: A Permission Check Analysis Framework for Linux Kernel
  ☆78Updated 4 years ago
• TJAndHisStudents / TaintFlowAnalysis
  Gives tainting information for the provided bitcode file generated from binary.
  ☆44Updated 8 years ago
• chyyuu / symexe
  symexe
  ☆97Updated 8 years ago
• embedded-sec / ACES
  Automatic Compartments for Embedded Systems
  ☆24Updated 5 years ago
• trusslab / charm
  ☆20Updated 7 years ago
• wmkhoo / taintgrind
  A taint-tracking plugin for the Valgrind memory checking tool
  ☆263Updated 7 months ago
• franchiotta / taintchecker
  Clang static checker that carries out tainting analysis.
  ☆88Updated 7 years ago
• sslab-gatech / kenali-kernel
  Modified Nexus 9 kernel for Kenali Project
  ☆30Updated 6 years ago
• kevinkoo001 / CCR
  Compiler-assisted Code Randomization (CCR) Toolchain
  ☆64Updated 3 years ago
• CRYPTOlab / kint
  git://g.csail.mit.edu/kint
  ☆51Updated 12 years ago
• julieeen / kleefl
  Seeding fuzzers with symbolic execution
  ☆203Updated 8 years ago
• melynx / DOP-StaticAssist
  Public release of the tools used to assist in gadget finding.
  ☆42Updated 7 years ago
• OSUSecLab / LeakScope
  Value set analysis(VSA) for revealing the possible values (strings) of the keys from mobile app
  ☆42Updated 5 years ago
• embedded-sec / BenchIoT
  Security benchmarks for the Internet of Things
  ☆22Updated 5 years ago