control-flow-attestation / c-flat

Related projects: ⓘ

• intel / xom-switch
  ☆55Updated 2 years ago
• sancus-tee / tutorial-dsn18
  Building Distributed Enclave Applications with Sancus and SGX
  ☆13Updated 3 years ago
• jovanbulck / sgx-pte
  Telling your secrets without page faults: Stealthy page table-based attacks on enclaved execution
  ☆31Updated 6 years ago
• mcfi / MCFI
  MCFI/PICFI tool chain
  ☆41Updated 5 months ago
• sslab-gatech / sgx-bomb
  ☆15Updated 6 years ago
• jaebaek / SGX-Shield
  SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs
  ☆47Updated 6 years ago
• HexHive / ShadowStack
  LLVM Implementation of different ShadowStack schemes for x86_64
  ☆37Updated 4 years ago
• GoSSIP-SJTU / k-hunt
  K-Hunt: Pinpointing Insecure Crypto Keys
  ☆44Updated 5 years ago
• TJAndHisStudents / Griffin-Trace
  A version of Griffin used to provide program traces
  ☆15Updated 4 years ago
• dennisaa / patharmor
  PathArmor context-sensitive CFI implementation
  ☆45Updated 8 years ago
• tudinfse / sgxbounds
  SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)
  ☆33Updated 7 years ago
• embedded-sec / ACES
  Automatic Compartments for Embedded Systems
  ☆24Updated 4 years ago
• m1ghtym0 / sgx-timing
  First practical showcase for leaking secret encryption keys from a secure SGX enclave.
  ☆19Updated 7 years ago
• uCFI-GATech / ucfi-compiler
  ☆17Updated 4 years ago
• sslab-gatech / t-sgx
  Compiler-based tool that protects Intel SGX applications against controlled-channel attacks
  ☆26Updated 7 years ago
• melynx / DOP-StaticAssist
  Public release of the tools used to assist in gadget finding.
  ☆40Updated 6 years ago
• ssl-tud / k-miner
  K-Miner
  ☆71Updated 5 years ago
• adilahmad17 / Obfuscuro
  Commodity Obfuscation Engine for Intel SGX
  ☆20Updated 5 years ago
• thinkmoore / llvm-deps
  Inter-procedural analysis framework and dependency/information-flow analysis for LLVM
  ☆19Updated 11 years ago
• embedded-sec / BenchIoT
  Security benchmarks for the Internet of Things
  ☆23Updated 3 years ago
• sslab-gatech / kenali-kernel
  Modified Nexus 9 kernel for Kenali Project
  ☆29Updated 5 years ago
• purdue-secomp-lab / MEDS
  ☆36Updated 2 years ago
• SoftwareLanguagesSecurityLab / ConFIRM
  ☆19Updated 3 years ago
• mustakimur / OS-CFI
  Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019
  ☆36Updated 2 years ago
• hso-esk / tls-diff-testing
  Implementation of differential fuzz testing for TLS handshake messages
  ☆12Updated 3 years ago
• sslab-gatech / kernel-analyzer
  ☆66Updated 4 years ago
• jovanbulck / sgx-tutorial-space18
  Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves
  ☆52Updated 5 years ago
• OSUSecLab / SgxPectre
  ☆72Updated 6 years ago
• DanGe42 / flush-reload
  [UNMAINTAINED] Implementation of the FLUSH+RELOAD side channel attack
  ☆57Updated 6 years ago
• sslab-gatech / unisan
  UniSan: Proactive Kernel Memory Initialization to Eliminate Data Leakages
  ☆42Updated 2 years ago