Artifacts for the NDSS'25 paper "BULKHEAD: Secure, Scalable, and Efficient Kernel Compartmentalization with PKS".
☆12May 10, 2026Updated 5 months ago
Alternatives and similar repositories for BULKHEAD
Users that are interested in BULKHEAD are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- PeTAL: Ensuring Access Control Integrity against Data-only Attacks on Linux (ACM CCS 2024)☆17Nov 4, 2024Updated 2 years ago
- ☆12Apr 23, 2021Updated 5 years ago
- Artifacts for the paper "KSplit: Automating Device Driver Isolation"☆13Jul 10, 2026Updated 3 months ago
- ☆38May 19, 2023Updated 3 years ago
- ☆41Feb 15, 2022Updated 4 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆11Jan 9, 2025Updated last year
- ☆11Jun 10, 2024Updated 2 years ago
- Code repository for the research paper "A Systematic Look at Ciphertext Side Channels on AMD SEV-SNP"☆13May 17, 2022Updated 4 years ago
- ☆97Oct 28, 2026Updated last week
- Simple Encrypted File System for Occlum☆13Oct 29, 2025Updated last year
- The artifact for NDSS '25 paper "ASGARD: Protecting On-Device Deep Neural Networks with Virtualization-Based Trusted Execution Environmen…☆15Oct 16, 2025Updated last year
- A POSIX Filesystem for Enclaves with a Mechanized Safety Proof☆17Sep 20, 2019Updated 7 years ago
- ☆16Apr 6, 2023Updated 3 years ago
- https://blog.xpnsec.com/windows-warbird-privesc/☆31Nov 27, 2017Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 《linux-0.12 内核完全剖析》读书笔记及linux-0.12注释源码☆23Oct 27, 2018Updated 8 years ago
- SGX protected filesystem demo☆12Jul 28, 2017Updated 9 years ago
- Example code for creating read/write primitives from Unix pipes on XNU☆13Dec 28, 2021Updated 4 years ago
- For paper Container-IMA: https://www.usenix.org/system/files/raid2019-luo.pdf☆12Mar 12, 2020Updated 6 years ago
- Exploit for Real World CTF 6th RIPTC.☆34Jan 31, 2024Updated 2 years ago
- ☆34Nov 7, 2022Updated 3 years ago
- Multilayered, Log-structured Secure Disk (MlsDisk) protects the disk I/O for TEEs☆22Jul 4, 2024Updated 2 years ago
- Demonstrating the BadAss issue.☆18May 19, 2025Updated last year
- Instructions and tools to use data from engagement 5 of Darpa Transparent Computing Program☆27Aug 13, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The Solo5 unikernel☆14Apr 10, 2019Updated 7 years ago
- Theme changer app for Double Commander☆11Oct 1, 2023Updated 3 years ago
- AIC8800 Wifi Driver for linux☆12Oct 12, 2026Updated 3 weeks ago
- headless-ida-mcp-server☆45Sep 16, 2026Updated last month
- ☆32Feb 6, 2025Updated last year
- DWARF-based stack walks with eBPF☆13Aug 18, 2021Updated 5 years ago
- Automated Vulnerability Discovery Agent Pipeline☆18Updated this week
- Technical disclosure and PoC for CVE-2026-84543, a macOS SMB kernel vulnerability☆40Sep 24, 2026Updated last month
- 中央大學第四代 Portal (2020 年版) 文件☆10Jun 10, 2021Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ☆50Nov 15, 2021Updated 4 years ago
- ☆52Feb 27, 2017Updated 9 years ago
- 华南 师范大学计算机学院编译原理课程实验4：LR(0)和SLR(1)文法分析器☆10Dec 21, 2023Updated 2 years ago
- ☆15Jun 11, 2025Updated last year
- D^3CTF 2022 d3bpf, d3bpf-v2 attachment, exp and official writeup☆13Mar 8, 2022Updated 4 years ago
- I will provide details and pocs for some bugs I found.☆40Apr 15, 2024Updated 2 years ago
- codemap是一款通过代码结构可视化、高亮、标注等多种辅助手段来辅助阅读源代码的工具☆14Sep 14, 2023Updated 3 years ago