mesalock-linux / tpm2-tss-verified

Related projects ⓘ

Alternatives and complementary repositories for tpm2-tss-verified

• 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 9 years ago
• Trustonic / trustonic-tee-driver
  Android driver for the Trusted Execution Environment <t-base
  ☆12Updated 9 years ago
• intel / xom-switch
  ☆55Updated 2 years ago
• sslab-gatech / kernel-analyzer
  ☆67Updated 4 years ago
• mcfi / MCFI
  MCFI/PICFI tool chain
  ☆42Updated 7 months ago
• tudinfse / sgxbounds
  SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)
  ☆33Updated 7 years ago
• sslab-gatech / kenali-kernel
  Modified Nexus 9 kernel for Kenali Project
  ☆29Updated 5 years ago
• purdue-secomp-lab / MEDS
  ☆37Updated 2 years ago
• jovanbulck / sgx-pte
  Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution
  ☆30Updated 6 years ago
• TJAndHisStudents / TaintFlowAnalysis
  Gives tainting information for the provided bitcode file generated from binary.
  ☆44Updated 7 years ago
• melynx / DOP-StaticAssist
  Public release of the tools used to assist in gadget finding.
  ☆41Updated 6 years ago
• securesystemslab / periscope
  ☆64Updated 5 years ago
• kengiter / RuntimeASLR
  Re-randomizing the memory layout of a process at runtime
  ☆21Updated 8 years ago
• ssl-tud / k-miner
  K-Miner
  ☆72Updated 5 years ago
• sslab-gatech / sgx-bomb
  ☆15Updated 6 years ago
• Keysight / optee_fuzzer
  This repository contains the code for a fuzzing prototype for the OP-TEE system call interface using AFL.
  ☆133Updated 3 years ago
• sslab-gatech / aslr-guard
  Preventing code-reuse attacks by stopping code pointer leakages
  ☆35Updated 8 years ago
• lgeek / spec_poc_arm
  Dump privileged ARM system registers from usermode using variant 3a of Meltdown
  ☆242Updated 6 years ago
• vusec / memsentry
  Open-source release for MemSentry (EuroSys'17)
  ☆46Updated 3 years ago
• pointer-authentication / parts-llvm
  PARTS / LLVM compiler
  ☆31Updated 5 years ago
• shankarapailoor / moonshine
  ☆95Updated 5 years ago
• dennisaa / patharmor
  PathArmor context-sensitive CFI implementation
  ☆45Updated 9 years ago
• dvyukov / syzkaller-repros
  Collection of syzkaller bug reproducers for Linux
  ☆44Updated 2 years ago
• lsds / sgx-membench
  Simple memory benchmarking of Intel SGX
  ☆12Updated 8 years ago
• vlad902 / kernel-uninitialized-memory-checker
  A clang analyzer checker that looks for kernel uninitialized memory disclosures to userland.
  ☆59Updated 5 years ago
• jaebaek / SGX-Shield
  SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs
  ☆47Updated 6 years ago
• SoftwareLanguagesSecurityLab / ConFIRM
  ☆20Updated 3 years ago
• CRYPTOlab / kint
  git://g.csail.mit.edu/kint
  ☆49Updated 11 years ago
• SVF-tools / SUPA
  SUPA
  ☆28Updated 4 years ago