Web-Scale Blockchain for fast, secure, scalable, decentralized apps and marketplaces.

A curated list of awesome Rust checkers

A search-based patch vs. code similarity analysis tool for discovering 100+ vulnerabilities in top blockchains

A CosmosSDK application for moving assets on and off of EVM based, POW chains

LLM inference in C/C++

Dify is an open-source LLM app development platform. Dify's intuitive interface combines AI workflow, RAG pipeline, agent capabilities, model management, observability features and more, letting yo…

⛓️ A Framework for Building High Value Public Blockchains ✨

This repo contains all the published binaries of the Injective Chain

The dataset of 62,464 smart contracts with modifiers used in our ISSTA'23 paper

A curated list of awesome directed fuzzing research papers

Curated list of awesome projects and resources related to Rust and computer security

AI engine for smart contract audit

A specialized tool for smart contract modifier analysis based on the Modifier Dependency Graph (MDG)

Published in USENIX Security'24: Understanding and Detecting Insecure OpenZeppelin Code in Smart Contracts

FlowDroid Static Data Flow Tracker

Awesome-Cellular-Hacking

A testing framework for automatically finding and simplifying bugs in graphics shader compilers.

Academic Papers about LLM Application on Security

MtdScout: Identifying Insecure Methods in Android Apps via Source-to-Bytecode Signature Generation and Tree-based Layered Search

Recent Fuzzing Paper

⏰ Collaboratively track deadlines of conferences recommended by CCF (Website, Python Cli, Wechat Applet) / If you find it useful, please star this project, thanks~

A reading list for large models safety, security, and privacy (including Awesome LLM Security, Safety, etc.).

塑造未来的安全领域智能革命

Daily updated LLM papers. 每日更新 LLM 相关的论文，欢迎订阅 👏 喜欢的话动动你的小手 🌟 一个