yyyiming-z's repositories
adeb
A debian-based shell environment designed for Android and adb
ARCUS
Symbolic Execution Over Processor Traces
ARM-CCA-Related
ARM CCA
CSAL
Coresight Access Library
tf-rmm
Reference implementation of Arm-CCA RMM specification
veraison
Project Veraison will build software components that can be used to build Attestation Verification Services
asylo
An open and flexible framework for developing enclave applications
bcc
BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more
docker-zerotier-planet
私有部署zerotier-planet服务
ER
Can additonal recording simplify symbolic constraints?
examiner
A framework that can automatically locate inconsistent instructions between real devices and emulators for ARM
islet
An on-device confidential computing framework
leveldb
LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.
mcsema
Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode
Mysisdig
A syscall capturing with extremely low overhead, inspired by sysdig
OpenCSD
CoreSight trace stream decoder developed openly
optee_fuzzer
This repository contains the code for a fuzzing prototype for the OP-TEE system call interface using AFL.
optee_os
Trusted side of the TEE
pandoc_resume
The Markdown Resume
PTEditor
A small library to modify all page-table levels of all processes from user space for x86_64 and ARMv8.
pylustrator
Visualisations of data are at the core of every publication of scientific research results.
subconverter
Utility to convert between various subscription format
sysbench
Scriptable database and system performance benchmark
VIA
Mirror of Artifact for OSDI 22 Paper: Design and Verification of the Arm Confidential Compute Architecture