mit-ll/HAKC external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

mit-ll/HAKC

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/mit-ll/HAKC)

Close

mit-ll / HAKCView on GitHubMore

• External links
• Readme badge

☆38Feb 15, 2022Updated 4 years ago

Alternatives and similar repositories for HAKC

Users that are interested in HAKC are comparing it to the libraries listed below

• umnsec / typm

  View on GitHub
  ☆37May 19, 2023Updated 2 years ago
• Lightninghkm / DataGuard

  View on GitHub
  Code Repository for DataGuard Framework
  ☆13Jul 11, 2023Updated 2 years ago
• mars-research / lvd-linux

  View on GitHub
  ☆21Apr 15, 2022Updated 3 years ago
• YuanchengJiang / recipe-benchmark

  View on GitHub
  Source code of AsiaCCS'22 paper - RecIPE: Revisiting the Evaluation of Memory Error Defenses
  ☆13Sep 19, 2023Updated 2 years ago
• securesystemslab / sanitizing-for-security-benchmarks

  View on GitHub
  ☆25Oct 4, 2018Updated 7 years ago
• hedayati / hodor

  View on GitHub
  Hodor-PKU
  ☆26Sep 14, 2021Updated 4 years ago
• taptipalit / dynpta

  View on GitHub
  ☆15May 26, 2021Updated 4 years ago
• cali-library-isolation / Cali-library-isolation

  View on GitHub
  ☆16Sep 29, 2022Updated 3 years ago
• sslab-gatech / libmpk

  View on GitHub
  ☆51Nov 15, 2021Updated 4 years ago
• lfi-project / lfi

  View on GitHub
  Top-level repository for LFI: Practical, Efficient, and Secure Software-based Sandboxing
  ☆105Jan 27, 2026Updated last month
• vusec / dangzero

  View on GitHub
  ☆18Sep 4, 2023Updated 2 years ago
• HexHive / EPOXY

  View on GitHub
  Root Repo for the EPOXY tool that applies Privilege Overlays on bare-metal systems
  ☆31May 18, 2017Updated 8 years ago
• bu-icsg / PHMon

  View on GitHub
  This repository contains the hardware, software, and OS support for the Programmable Hardware Monitor (PHMon).
  ☆27Aug 10, 2020Updated 5 years ago
• lsds / CubicleOS

  View on GitHub
  Compartmentalised monolithic library OS
  ☆20Jul 15, 2021Updated 4 years ago
• comparch-security / cpu-sec-bench

  View on GitHub
  Security Test Benchmark for Computer Architectures
  ☆21Sep 24, 2025Updated 5 months ago
• shamedgh / c2c

  View on GitHub
  This is the repository for the code and artifacts related to the CCS2022 paper: C2C: Fine-grained Configuration-driven System Call Filter…
  ☆11Nov 4, 2022Updated 3 years ago
• PSU-Security-Universe / badass

  View on GitHub
  Demonstrating the BadAss issue.
  ☆17May 19, 2025Updated 9 months ago
• vusec / memsentry

  View on GitHub
  Open-source release for MemSentry (EuroSys'17)
  ☆47May 5, 2021Updated 4 years ago
• vusec / patharmor

  View on GitHub
  ☆22Nov 16, 2023Updated 2 years ago
• eembc / securemark-tls

  View on GitHub
  The official repository for EEMBC's SecureMark™-TLS cryptography benchmark.
  ☆19Feb 4, 2023Updated 3 years ago
• GrammaTech / gtirb-ddisasm-retypd

  View on GitHub
  ☆13Jun 20, 2022Updated 3 years ago
• ssrg-vt / libhermitMPK

  View on GitHub
  Intra-Unikernel Isolation with Intel Memory Protection Keys
  ☆13Mar 18, 2020Updated 5 years ago
• suncongxd / ReCFA

  View on GitHub
  Resillent Control-Flow Attestation
  ☆13Sep 30, 2021Updated 4 years ago
• vusec / typearmor

  View on GitHub
  Implementation of our S&P16 paper: A Tough Call: Mitigating Advanced Code-Reuse Attacks
  ☆48Apr 6, 2017Updated 8 years ago
• adelie-kaslr / source

  View on GitHub
  Adelie's source code
  ☆12Mar 2, 2022Updated 3 years ago
• hasanmdme / decap

  View on GitHub
  This tool set can generate required capabilities for binaries. A system call to capability mapping is used to assign capability to the bi…
  ☆14Oct 26, 2022Updated 3 years ago
• terry-hsu / smv

  View on GitHub
  SMVs: Enforcing Least Privilege Memory Views for Multithreaded Applications
  ☆13Jul 7, 2022Updated 3 years ago
• SoftSec-KAIST / Reassessor

  View on GitHub
  Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)
  ☆34Jan 27, 2025Updated last year
• eunomia-bpf / bpf-benchmark

  View on GitHub
  Userspace eBPF Runtime Benchmarking Test Suite and Results
  ☆16Apr 21, 2024Updated last year
• mars-research / lvd-bflank

  View on GitHub
  ☆13Apr 9, 2022Updated 3 years ago
• XiaZhouZero / OPEC

  View on GitHub
  ☆11Apr 7, 2022Updated 3 years ago
• imdea-software / LLVM_Instrumentation_Pass

  View on GitHub
  ☆26Oct 5, 2016Updated 9 years ago
• pointer-authentication / parts-llvm

  View on GitHub
  PARTS / LLVM compiler
  ☆31Aug 14, 2019Updated 6 years ago
• gryan11 / PGA

  View on GitHub
  Proximal Gradient Analysis open source release based on our USENIX Security 2021 paper: "Fine Grained Dataflow Analysis with Proximal Gra…
  ☆32Apr 29, 2021Updated 4 years ago
• rssys / kit

  View on GitHub
  Kernel isolation tester.
  ☆18Oct 20, 2022Updated 3 years ago
• vahldiek / erim

  View on GitHub
  ☆16Nov 13, 2023Updated 2 years ago
• sancus-tee / tutorial-dsn18

  View on GitHub
  Building Distributed Enclave Applications with Sancus and SGX
  ☆16Dec 9, 2020Updated 5 years ago
• carter-yagemann / PUMM

  View on GitHub
  Partitioned Unit Memory Management
  ☆16Nov 28, 2022Updated 3 years ago
• snorez / exploits

  View on GitHub
  practice
  ☆68Mar 19, 2020Updated 5 years ago