sancus-tee / vulcan

Related projects ⓘ

Alternatives and complementary repositories for vulcan

• control-flow-attestation / c-flat
  Accompanying material for C-FLAT: Control Flow Attestation for Embedded Systems Software
  ☆42Updated 8 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
  ☆30Updated 6 years ago
• embedded-sec / BenchIoT
  Security benchmarks for the Internet of Things
  ☆23Updated 4 years ago
• s3team / Abacus
  Side-channel Analysis
  ☆15Updated 2 years ago
• GoSSIP-SJTU / k-hunt
  K-Hunt: Pinpointing Insecure Crypto Keys
  ☆44Updated 6 years ago
• embedded-sec / ACES
  Automatic Compartments for Embedded Systems
  ☆24Updated 4 years ago
• Fraunhofer-AISEC / DATA
  Differential Address Trace Analysis
  ☆54Updated 7 months ago
• SoftwareLanguagesSecurityLab / ConFIRM
  ☆20Updated 3 years ago
• mcfi / MCFI
  MCFI/PICFI tool chain
  ☆42Updated 7 months ago
• sslab-gatech / sgx-bomb
  ☆15Updated 6 years ago
• ieee-security / ongoing-submission-plan
  Public forum for detailed planning of a VLDB-like ongoing submission model for IEEE S&P
  ☆15Updated 7 years ago
• OleksiiOleksenko / SpecFuzz
  A tool for detecting Spectre vulnerabilities through fuzzing
  ☆35Updated 3 years ago
• HexHive / EPOXY
  Root Repo for the EPOXY tool that applies Privilege Overlays on bare-metal systems
  ☆33Updated 7 years ago
• microwalk-project / Microwalk
  A microarchitectural leakage detection framework using dynamic instrumentation.
  ☆68Updated 5 months ago
• embedded-sec / uRAI
  Securing Embedded Systems with Return Address Integrity
  ☆14Updated 2 months ago
• jaebaek / SGX-Shield
  SGX-Shield: Enabling Address Space Layout Randomization (ASLR) for SGX Programs
  ☆47Updated 6 years ago
• uCFI-GATech / ucfi-compiler
  ☆17Updated 5 years ago
• junwei-wang / WhibOx-breaking-adoring-poitras
  Resources to break Adoring Poitras from WhibOx contest
  ☆18Updated 4 years ago
• teesec-research / optee_examples
  OP-TEE Trusted Applications vulnerable to memory corruption bugs.
  ☆13Updated 4 years ago
• ikizhvatov / jlsca-tutorials
  Tutorials and examples on how to use Jlsca, the high-performance side channel analysis toolkit written in Julia
  ☆46Updated 4 years ago
• sslab-gatech / t-sgx
  Compiler-based tool that protects Intel SGX applications against controlled-channel attacks
  ☆27Updated 7 years ago
• DanGe42 / flush-reload
  [UNMAINTAINED] Implementation of the FLUSH+RELOAD side channel attack
  ☆57Updated 7 years ago
• adilahmad17 / Obfuscuro
  Commodity Obfuscation Engine for Intel SGX
  ☆20Updated 5 years ago
• danpage / scale
  SCALE: Side-Channel Attack Lab. Exercises
  ☆41Updated last year
• LaurenDM / AttackAESCTR
  ☆19Updated 4 years ago
• nepoche / Flush-Reload
  A flush-reload side channel attack implementation
  ☆41Updated 2 years ago
• jovanbulck / sgx-tutorial-space18
  Tutorial: Uncovering and mitigating side-channel leakage in Intel SGX enclaves
  ☆52Updated 5 years ago
• lsds / spectre-attack-sgx
  Spectre attack against SGX enclave
  ☆230Updated 6 years ago
• imdea-software / verifying-constant-time
  ☆35Updated 7 years ago