Pinned Repositories
amazingSudoku
软件工程课程设计
angr
A powerful and user-friendly binary analysis platform!
attack-scenarios
demos for different attack scenario
check-pt
A script to determine whether your processor & architecture supports Intel-PT
CorpusAnalysis4xyx
Text analysis
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/attack-scenarios
demos for different attack scenario
Icegrave0391/gramine
A library OS for Linux multi-process applications, with Intel SGX support
Icegrave0391/check-pks
A script to check whether your processor & architecture supports Intel Protection Key, Supervisor (Intel PKS)
Icegrave0391/devenv
Icegrave0391/Execution-Trace-Analysis
Icegrave0391/gramine-serverless
benchmarking SGX-based serverless functions
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/tdx
Intel confidential computing - TDX
Icegrave0391/Audit-log-analysis
Have fun with audit log analysis :)
Icegrave0391/camflow-patches
Kernel patches for CamFlow Linux Provenance.
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/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/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