microsoft / HardLog

Related projects ⓘ

Alternatives and complementary repositories for HardLog

• mars-research / lvd-bflank
  ☆12Updated 2 years ago
• HexHive / ShadowStack
  LLVM Implementation of different ShadowStack schemes for x86_64
  ☆37Updated 4 years ago
• TJAndHisStudents / Griffin-Trace
  A version of Griffin used to provide program traces
  ☆15Updated 4 years ago
• IAIK / msrevelio
  ☆34Updated last year
• vusec / kmvx
  kMVX: Detecting Kernel Information Leaks with Multi-variant Execution
  ☆21Updated 5 years ago
• melynx / peekaboo
  An standalone execution trace library built on DynamoRIO.
  ☆21Updated 2 years ago
• Maxul / Aurora
  Trusted I/O Paths for SGX Enclaves
  ☆16Updated 4 years ago
• ahoi-attacks / WeSee
  Using Malicious #VC Interrupts to Break AMD SEV-SNP (IEEE S&P 2024)
  ☆22Updated 7 months ago
• passlab / DCFG
  Dynamic ControlFlow Graph and DataFlow Graph for Binary-based Optimization
  ☆19Updated 7 years ago
• utds3lab / sgx-log
  Securing System Logs With Intel SGX
  ☆15Updated 7 years ago
• Huawei / Huawei_CCA_QEMU
  ARM CCA support for QEMU. Check wiki for instructions. https://github.com/Huawei/Huawei_CCA_RMM/wiki
  ☆21Updated last year
• sam1013 / timberv-riscv-tools
  RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)
  ☆21Updated 5 years ago
• kcfi / kcfi
  Control-Flow Integrity implementation for the Linux Kernel 3.19
  ☆20Updated 4 years ago
• flowyroll / medusa
  Medusa Repository: Transynther tool and Medusa Attack
  ☆20Updated 4 years ago
• cispa / Microarchitectural-Hash-Function-Recovery
  Proof-of-concept implementation for the paper "Efficient and Generic Microarchitectural Hash-Function Recovery" (IEEE S&P 2024)
  ☆26Updated last year
• uCFI-GATech / ucfi-compiler
  ☆17Updated 5 years ago
• Compass-All / CCS22-StrongBox
  ☆30Updated 2 years ago
• OSUSecLab / Reusable-Enclaves
  Implementation of the Reusable Enclaves paper
  ☆12Updated last year
• bwickman97 / ffmalloc
  ☆42Updated 2 years ago
• UNCSecLab / hpc
  Hardware performance counter tool for Windows OS
  ☆17Updated 6 years ago
• hasanmdme / decap
  This tool set can generate required capabilities for binaries. A system call to capability mapping is used to assign capability to the bi…
  ☆14Updated 2 years ago
• jakobbotsch / llvm-sgx
  LLVM with SGX support
  ☆13Updated 6 years ago
• vusec / dangzero
  ☆16Updated last year
• zhou-yuxin / kvm-ept-sample
  A tool to sample a QEMU-KVM's memory access pattern at page level based on Intel VT-x
  ☆19Updated 5 years ago
• intel / ccc-linux-guest-hardening
  Linux Security Hardening for Confidential Compute
  ☆66Updated last month
• IAIK / halfdouble
  ☆12Updated 2 years ago
• HyperEnclave / atc22-ae
  ☆30Updated 2 years ago
• rssys / shard
  ☆12Updated 3 years ago
• OleksiiOleksenko / SpecFuzz
  A tool for detecting Spectre vulnerabilities through fuzzing
  ☆35Updated 3 years ago
• microsoft / msr-cloak
  Code for experiments referenced in the Usenix Security 2017 paper "Strong and Efficient Cache Side-Channel Protection using Hardware Tran…
  ☆13Updated 2 years ago