An example C program which contains vulnerable code for common types of vulnerabilities. It can be used to show fuzzing concepts.

A DynamoRio-based function call tracer.

Static Analyser for C

A curated list of Large Language Model resources, covering model training, serving, fine-tuning, and building LLM applications.

Automated testing to find logic and performance bugs in database systems

TensorFlow API analysis tool and malicious model detection tool

https://hrl.boyuai.com/

The HitchHiker's Guide to High-Assurance System Observability Protection with Efficient Permission Switches, ACM CCS'24

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

Concurrency Paper

《eBPF 云原生安全：原理与实践》书中示例程序的完整源代码

GrayC: Greybox Fuzzing of Compilers and Analysers for C

WhiteFox: White-Box Compiler Fuzzing Empowered by Large Language Models (OOPSLA 2024)

一个搜索引擎，基于 Google，屏蔽内容农场，无广告，无跟踪，干净，简洁，快。

All in one cybersecurity utility platform.

WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries

A native symbolic execution engine for WebAssembly

[USENIX Security 2025] PoisonedRAG: Knowledge Corruption Attacks to Retrieval-Augmented Generation of Large Language Models

This repository provides implementation to formalize and benchmark Prompt Injection attacks and defenses

Code for the "Predictive Context-sensitive Fuzzing" NDSS'24 paper

An automated ROP generation work

Representation Engineering: A Top-Down Approach to AI Transparency

Deadline countdowns for academic conferences in Security and Privacy

eBPF verifier based on abstract interpretation

An eBPF Manager for Linux and Kubernetes

Presentations and docs

Companion webpage to the book "Mathematics For Machine Learning"