Pinned Repositories
amazingSudoku
软件工程课程设计
angr
A powerful and user-friendly binary analysis platform!
CorpusAnalysis4xyx
Text analysis
HitchHiker-rel
The HitchHiker's Guide to High-Assurance System Observability Protection with Efficient Permission Switches
ics2019
code for NJU-ICS2019
linux-intel-tdx-pks-kvm
An extension of linux-intel-6.8.0 to support virtualized Protection Key Supervisor (PKS) within KVM and Intel TDX's confidential virtual machine
mackup
Palantir
PalanTír: Optimizing Attack Provenance with Hardware-enhanced System Observability, ACM CCS'22
SAT-DPLL
2019CourseDesign
tdx
Intel confidential computing - TDX
Icegrave0391's Repositories
Icegrave0391/Palantir
PalanTír: Optimizing Attack Provenance with Hardware-enhanced System Observability, ACM CCS'22
Icegrave0391/gramine
A library OS for Linux multi-process applications, with Intel SGX support
Icegrave0391/linux-intel-tdx-pks-kvm
An extension of linux-intel-6.8.0 to support virtualized Protection Key Supervisor (PKS) within KVM and Intel TDX's confidential virtual machine
Icegrave0391/check-pks
A script to check whether your processor & architecture supports Intel Protection Key, Supervisor (Intel PKS)
Icegrave0391/gramine-serverless
benchmarking SGX-based serverless functions
Icegrave0391/HitchHiker-rel
The HitchHiker's Guide to High-Assurance System Observability Protection with Efficient Permission Switches
Icegrave0391/tdx
Intel confidential computing - TDX
Icegrave0391/Awesome-SGX-Open-Source
A curated list of open-source projects that help exploit Intel SGX technology
Icegrave0391/CCS22-StrongBox
Icegrave0391/confidential-containers
Confidential Containers Community
Icegrave0391/ELISA
ELISA: Exit-Less, Isolated, and Shared Access for Virtual Machines
Icegrave0391/examples
Serverless Examples – A collection of boilerplates and examples of serverless architectures built with the Serverless Framework on AWS Lambda, Microsoft Azure, Google Cloud Functions, and more.
Icegrave0391/GraphMiner
Graph Pattern Mining
Icegrave0391/hyperenclave
An Open and Cross-platform Trusted Execution Environment.
Icegrave0391/islet
An on-device confidential computing framework
Icegrave0391/kit
Kernel isolation tester.
Icegrave0391/Leonard
Usenix Security'23
Icegrave0391/libdft-prov
Icegrave0391/linux-pks
Icegrave0391/linux-pks-kvm
Icegrave0391/llama.cpp
LLM inference in C/C++
Icegrave0391/llama2.c
Inference Llama 2 in one file of pure C
Icegrave0391/mytee
Icegrave0391/notion-website-template
Make a personal website using Notion and GitHub Pages
Icegrave0391/NotionNext
使用 NextJS + Notion API 实现的，支持多种部署方案的静态博客，无需服务器、零门槛搭建网站，为Notion和所有创作者设计。 (A static blog built with NextJS and Notion API, supporting multiple deployment options. No server required, zero threshold to set up a website. Designed for Notion and all creators.)
Icegrave0391/patch
A patch for CS5231-22Fall Project
Icegrave0391/PoC-in-GitHub
📡 PoC auto collect from GitHub. ⚠️ Be careful Malware.
Icegrave0391/RT-TEE
Icegrave0391/tdx-module
Trust Domain Extensions (TDX) is introducing new, architectural elements to help deploy hardware-isolated, virtual machines (VMs) called trust domains (TDs). Intel TDX is designed to isolate VMs from the virtual-machine manager (VMM)/hypervisor and any other non-TD software on the platform to protect TDs from a broad range of software.
Icegrave0391/Veil