holaymzhang
Follow
-
pandoc_resume Public
Forked from mszep/pandoc_resumeThe Markdown Resume
TeX MIT License UpdatedFeb 28, 2024 -
docker-zerotier-planet Public
Forked from xubiaolin/docker-zerotier-planet私有部署zerotier-planet服务
C++ UpdatedDec 14, 2023 -
-
islet Public
Forked from islet-project/isletAn on-device confidential computing framework
Rust Apache License 2.0 UpdatedFeb 10, 2023 -
tf-rmm Public
Forked from TF-RMM/tf-rmmReference implementation of Arm-CCA RMM specification
C BSD 3-Clause "New" or "Revised" License UpdatedDec 10, 2022 -
pylustrator Public
Forked from rgerum/pylustratorVisualisations of data are at the core of every publication of scientific research results.
Python GNU General Public License v3.0 UpdatedOct 6, 2022 -
subconverter Public
Forked from tindy2013/subconverterUtility to convert between various subscription format
C++ GNU General Public License v3.0 UpdatedSep 28, 2022 -
sysbench Public
Forked from akopytov/sysbenchScriptable database and system performance benchmark
C GNU General Public License v2.0 UpdatedSep 23, 2022 -
ARM-CCA-Related Public
Forked from ConfidentialComputing/ARM-CCA-RelatedARM CCA
UpdatedAug 16, 2022 -
VIA Public
Forked from columbia/VIAMirror of Artifact for OSDI 22 Paper: Design and Verification of the Arm Confidential Compute Architecture
Coq GNU General Public License v3.0 UpdatedJul 15, 2022 -
-
bcc Public
Forked from iovisor/bccBCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more
C Apache License 2.0 UpdatedJul 6, 2022 -
ARCUS Public
Forked from carter-yagemann/ARCUSSymbolic Execution Over Processor Traces
C GNU General Public License v3.0 UpdatedJul 4, 2022 -
PTEditor Public
Forked from misc0110/PTEditorA small library to modify all page-table levels of all processes from user space for x86_64 and ARMv8.
C MIT License UpdatedJun 29, 2022 -
adeb Public
Forked from joelagnel/adebA debian-based shell environment designed for Android and adb
Shell Apache License 2.0 UpdatedJun 10, 2022 -
veraison Public
Forked from veraison/veraisonProject Veraison will build software components that can be used to build Attestation Verification Services
Go Apache License 2.0 UpdatedJun 6, 2022 -
OpenCSD Public
Forked from Linaro/OpenCSDCoreSight trace stream decoder developed openly
C++ Other UpdatedMay 11, 2022 -
asylo Public
Forked from google/asyloAn open and flexible framework for developing enclave applications
C++ Apache License 2.0 UpdatedApr 12, 2022 -
examiner Public
Forked from valour01/examinerA framework that can automatically locate inconsistent instructions between real devices and emulators for ARM
Python BSD 3-Clause "New" or "Revised" License UpdatedMar 3, 2022 -
-
-
-
-
mcsema Public
Forked from lifting-bits/mcsemaFramework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries to LLVM bitcode
C++ GNU Affero General Public License v3.0 UpdatedOct 10, 2021 -
optee_fuzzer Public
Forked from Keysight/optee_fuzzerThis repository contains the code for a fuzzing prototype for the OP-TEE system call interface using AFL.
C GNU General Public License v3.0 UpdatedAug 12, 2021 -
theEmbeddedNewTestament.github.io Public
Forked from theEmbeddedGeorge/theEmbeddedNewTestament.github.ioC UpdatedMay 7, 2021 -
system Public
Forked from JPortal-system/systemGNU General Public License v3.0 UpdatedApr 30, 2021 -
ER Public
Forked from efeslab/ERCan additonal recording simplify symbolic constraints?
C++ Other UpdatedApr 18, 2021 -
Mysisdig Public
Forked from Tert-butyllithium/syscordA syscall capturing with extremely low overhead, inspired by sysdig
C MIT License UpdatedApr 16, 2021 -
leveldb Public
Forked from google/leveldbLevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.
C++ BSD 3-Clause "New" or "Revised" License UpdatedMar 28, 2021