hckuo2 / Cozart

Related projects ⓘ

Alternatives and complementary repositories for Cozart

• lsds / intravisor
  Virtualisation platform using CHERI for isolation and sharing
  ☆35Updated 5 months ago
• lsds / CubicleOS
  Compartmentalised monolithic library OS
  ☆19Updated 3 years ago
• dskarlatos / MicroScope
  Microscope: Enabling Microarchitectural Replay Attacks
  ☆17Updated 4 years ago
• sslab-gatech / libmpk
  ☆48Updated 3 years ago
• Mic92 / rkt-io
  rkt-io Library OS for running Linux applications inside of Intel SGX enclaves
  ☆29Updated 2 years ago
• TwinVisor / twinvisor-prototype
  ☆21Updated 2 years ago
• sectrs-acai / acai
  Protecting Accelerator Execution with Arm Confidential Computing Architecture (USENIX Security 2024)
  ☆25Updated 11 months ago
• hedayati / hodor
  Hodor-PKU
  ☆23Updated 3 years ago
• tsgates / die
  a paper template
  ☆51Updated last year
• mars-research / lvd-linux
  ☆19Updated 2 years ago
• tudinfse / sgxbounds
  SGXBounds: Memory Safety for Shielded Execution (compiler pass and runtime)
  ☆33Updated 7 years ago
• Compass-All / CCS22-StrongBox
  ☆30Updated 2 years ago
• HexHive / ShadowStack
  LLVM Implementation of different ShadowStack schemes for x86_64
  ☆37Updated 4 years ago
• mktrm / SecSMT_Artifact
  The artifact for SecSMT paper -- Usenix Security 2022
  ☆25Updated 2 years ago
• jiezhoucs / must-read
  Lists of must-read papers (mainly security papers)
  ☆26Updated 2 months ago
• pwnall / sanctum
  Minimal RISC Extensions for Isolated Execution
  ☆50Updated 5 years ago
• Penglai-Enclave / Penglai-Enclave
  This is the main repo for Penglai.
  ☆65Updated last year
• rssys / shard
  ☆12Updated 3 years ago
• sam1013 / timberv-riscv-tools
  RISC-V Tools (GNU Toolchain, ISA Simulator, Tests)
  ☆21Updated 5 years ago
• vusec / memsentry
  Open-source release for MemSentry (EuroSys'17)
  ☆47Updated 3 years ago
• comparch-security / cpu-sec-bench
  Security Test Benchmark for Computer Architectures
  ☆20Updated this week
• intel / tdx
  ☆82Updated this week
• riscv-admin / trusted-computing
  ☆21Updated last year
• sslab-gatech / t-sgx
  Compiler-based tool that protects Intel SGX applications against controlled-channel attacks
  ☆27Updated 7 years ago
• cgvwzq / cachequery
  HW interface for memory caches
  ☆26Updated 4 years ago
• hrosier / ripe64
  64-bit port of the RIPE benchmark (buffer overflow attacks). RIPE was originally developed by John Wilander and Nick Nikiforakis and pres…
  ☆19Updated 2 years ago
• yshalabi / covert-channel-tutorial
  Hands on with side-channels: a tutorial on covert-channels built using shared CPU resources. Three different covert-channel implementatio…
  ☆42Updated 5 years ago
• vernamlab / medusa
  Medusa Repository: Transynther tool and Medusa Attack
  ☆18Updated 4 years ago
• adelie-kaslr / source
  Adelie's source code
  ☆10Updated 2 years ago
• mjyan0720 / InvisiSpec-1.0
  Gem5 implementation of "InvisiSpec", a defense mechanism of speculative execution attacks on cache hierarchy.
  ☆58Updated 4 years ago