ikgt manifest
☆42Aug 4, 2022Updated 3 years ago
Alternatives and similar repositories for ikgt-manifest
Users that are interested in ikgt-manifest are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SGX protected filesystem demo☆12Jul 28, 2017Updated 8 years ago
- Tiny 3D-printer server built on ESP32☆16Apr 3, 2023Updated 3 years ago
- Compile time string XOR for visual studio 2010-2013☆10May 31, 2018Updated 7 years ago
- JEFF file format tools☆27Dec 24, 2015Updated 10 years ago
- Experimental setup of "Intel MPX explained"☆29Feb 4, 2020Updated 6 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A code confidentiality framework for Intel SGX☆19Jan 8, 2019Updated 7 years ago
- Reusable Django application for storing and accessing municipality-related geospatial data☆14Updated this week
- Stores Chromium Channel ID private keys in an Intel SGX enclave.☆32Jun 13, 2016Updated 9 years ago
- A C++ library for working with App Containers☆53Oct 14, 2016Updated 9 years ago
- Secure auditing of Internet services with Intel SGX☆23Apr 30, 2021Updated 5 years ago
- Salt recipe to automatically secure sshd (and piss off the NSA)☆16Jun 18, 2016Updated 9 years ago
- Formal verification of SecVisor, a secure hypervisor☆13Apr 23, 2013Updated 13 years ago
- CansecWest2016 - Getting Physical: Extreme Abuse of Intel Based Paging Systems☆28Apr 26, 2016Updated 10 years ago
- Trusted Execution Environment - Secure kernel leveraging ARM's TrustZone isolation☆21Feb 6, 2014Updated 12 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Intel Kernel Guard Technology Core Repo☆58Apr 8, 2024Updated 2 years ago
- Graphical disassembler for multiple architectures for easy navigation☆157Apr 25, 2025Updated last year
- The Rumprun unikernel and toolchain for various platforms☆11Mar 31, 2026Updated last month
- AM33xx kernel☆11Nov 22, 2011Updated 14 years ago
- Stupid crypto tricks☆18May 12, 2021Updated 4 years ago
- Alcatraz project for Black Hat USA 2021☆78Aug 5, 2021Updated 4 years ago
- Fork of the ski ia64 emulator☆13May 15, 2016Updated 9 years ago
- A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.☆44Jun 30, 2021Updated 4 years ago
- Dockerfile for distccd server on gentoo☆12Jul 19, 2014Updated 11 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Stoppin' it.☆22Jan 27, 2012Updated 14 years ago
- Add lore links to emails in mutt☆11Mar 30, 2026Updated 3 weeks ago
- CoreNIC: a flexible SR-IOV SmartNIC firmware implementation supporting BPF and stateless offloads.☆98Aug 5, 2021Updated 4 years ago
- Library for the Intel SGX SDK with basic helper functions☆19Oct 16, 2017Updated 8 years ago
- x86-64 kernel in Rust☆33Dec 21, 2016Updated 9 years ago
- Code for talk about Go Serialization☆79Updated this week
- kCFI Documentation☆15Apr 18, 2017Updated 9 years ago
- Lua D-Bus interaction made simple☆12Updated this week
- L'Abbaye des Morts 1.12 for GCW-Zero, forked from http://code.google.com/p/abbaye-for-linux/☆12Feb 9, 2014Updated 12 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Archive of existing evoting systems created by others.☆19Aug 22, 2018Updated 7 years ago
- Bypass antivirus with dynamic import. Hide the api(s) used.☆28Apr 2, 2016Updated 10 years ago
- A C runtime for the Open Container Specification☆11Mar 8, 2018Updated 8 years ago
- Subgraph pH☆14Mar 20, 2026Updated last month
- Python bindings to the Open Source License API☆21Apr 5, 2020Updated 6 years ago
- Securing System Logs With Intel SGX☆17Mar 31, 2017Updated 9 years ago
- USB armory: open source flash-drive-sized computer☆11Dec 8, 2015Updated 10 years ago