-
server Public
Forked from MariaDB/serverMariaDB server is a community developed fork of MySQL server. Started by core members of the original MySQL team, MariaDB actively works with outside developers to deliver the most featureful, stab…
C++ GNU General Public License v2.0 UpdatedMar 9, 2025 -
-
LibAFL Public
Forked from AFLplusplus/LibAFLAdvanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...
Rust Other UpdatedMar 7, 2025 -
AFLplusplus Public
Forked from AFLplusplus/AFLplusplusThe fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
C Apache License 2.0 UpdatedMar 7, 2025 -
codeql Public
Forked from github/codeqlCodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security
CodeQL MIT License UpdatedMar 1, 2025 -
gramine Public
Forked from gramineproject/gramineA library OS for Linux multi-process applications, with Intel SGX support
C GNU Lesser General Public License v3.0 UpdatedFeb 26, 2025 -
SVF Public
Forked from SVF-tools/SVFStatic Value-Flow Analysis Framework for Source Code
C++ Other UpdatedFeb 19, 2025 -
-
occlum Public
Forked from occlum/occlumOcclum is a memory-safe, multi-process library OS for Intel SGX
Rust Other UpdatedDec 13, 2024 -
-
-
EnclaveFuzz Public
Forked from vul337/EnclaveFuzzCode of paper "EnclaveFuzz: Finding Vulnerabilities in SGX Applications"
-
leonechen.github.io Public template
Forked from academicpages/academicpages.github.ioGithub Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
JavaScript MIT License UpdatedAug 27, 2024 -
secretflow Public
Forked from secretflow/secretflowA unified framework for privacy-preserving data analysis and machine learning
Python Apache License 2.0 UpdatedJul 10, 2024 -
-
-
cve-2024-6387-poc Public
Forked from zgzhang/cve-2024-6387-poca signal handler race condition in OpenSSH's server (sshd)
C UpdatedJul 1, 2024 -
-
capsule-manager Public
Forked from asterinas/trustflow-capsule-managerThe authorization and key management module of TrustedFlow
Rust UpdatedJun 17, 2024 -
-
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Other UpdatedApr 19, 2024 -
llvm-project Public
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
Other UpdatedApr 19, 2024 -
SGX_APP Public
This repo is used to store application that modified to support SGXSan
-
sgxwallet Public
Forked from skalenetwork/sgxwalletsgxwallet is the first-ever opensource high-performance hardware secure crypto wallet that is based on Intel SGX technology. First opensource product on Intel SGX whitelist. Scales to 100,000+ tran…
Shell GNU Affero General Public License v3.0 UpdatedJan 29, 2024 -
sgx-dnet Public
Forked from lemonviv/sgx-dnetSGX-Darknet: SGX compatible ML library
C UpdatedJan 29, 2024 -
PyRTFuzz Public
Forked from awen-li/PyRTFuzzTwo-Level Collaborative Fuzzing for Python Runtimes
Python Other UpdatedDec 25, 2023 -
-
K-Scheduler Public
Forked from Dongdongshe/K-SchedulerA universal seed scheduler for fuzzers (LibFuzzer and AFL havoc mode) and concolic execution engine (qsym).
C MIT License UpdatedNov 16, 2023 -
AFL Public
Forked from google/AFLamerican fuzzy lop - a security-oriented fuzzer
C Apache License 2.0 UpdatedNov 15, 2023 -
intel-sgx-ssl Public
Forked from intel/intel-sgx-sslIntel® Software Guard Extensions SSL
C Other UpdatedOct 30, 2023