Zarachodar / GAEforBTCView external linksLinks
This is the implementation for the Detection and Protection methods described in the paper: "Graph-Based Covert Transaction Detection and Protection in Blockchain".
☆31Oct 23, 2024Updated last year
Alternatives and similar repositories for GAEforBTC
Users that are interested in GAEforBTC are comparing it to the libraries listed below
Sorting:
- SmartAuditFlow is an AI-powered framework for automated smart contract security auditing. It combines Large Language Models (LLMs) with d…☆15Dec 19, 2025Updated last month
- LLM-SmartAudit is a cutting-edge tool designed to revolutionize smart contract auditing using advanced language models.☆55Aug 17, 2025Updated 5 months ago
- Goduck is a command-line management tool that can help to run BitXHub.☆19May 11, 2023Updated 2 years ago
- This repository is dedicated to the smart contract auditing using our FTSmartAudit tool☆29Nov 24, 2025Updated 2 months ago
- ☆28Mar 15, 2023Updated 2 years ago
- 北京理工大学自动请假☆33Nov 8, 2022Updated 3 years ago
- 基于Jflex的简单词法分析器☆21Nov 18, 2019Updated 6 years ago
- 📖 北京理工大学非官方 LaTeX 模板集合,包含本科、研究生毕业设计模板及更多。🎉 (更多文档请访问 wiki 和 release 中的手册)☆1,018Jan 15, 2026Updated 3 weeks ago
- The Interchain gateway core implementation☆48May 23, 2024Updated last year
- ☆63Jul 11, 2024Updated last year
- 挑战程序设计竞赛2 算法和数据结构 pdf及源码☆46Mar 8, 2019Updated 6 years ago
- CMake file for using Intel SGX on Linux☆52Oct 29, 2021Updated 4 years ago
- Documentation for OpenIntelWireless☆46Aug 20, 2025Updated 5 months ago
- DAppSCAN: Building Large-Scale Datasets for Smart Contract Weaknesses in DApp Projects.☆78Mar 25, 2025Updated 10 months ago
- Next major version of GmSSL!☆103Apr 18, 2022Updated 3 years ago
- ☆129Sep 1, 2025Updated 5 months ago
- Intel confidential computing - TDX☆242Nov 13, 2025Updated 3 months ago
- ☆182Dec 18, 2025Updated last month
- code☆193Jun 20, 2020Updated 5 years ago
- Ancillary open source software to support confidential computing on NVIDIA GPUs☆301Jan 24, 2026Updated 3 weeks ago
- AI engine for smart contract audit☆340Jan 6, 2026Updated last month
- 一些关于写论文的教程,防止犯一些低级错误☆323Apr 1, 2025Updated 10 months ago
- An advanced Twitter scraping & OSINT tool written in Python that doesn't use Twitter's API, allowing you to scrape a user's followers, fo…☆316Jun 28, 2023Updated 2 years ago
- Demystifying Exploitable Bugs in Smart Contracts☆1,784Jun 19, 2025Updated 7 months ago
- Solidity智能合约库,包含了基础类型到上层业务的一系列智能合约库代码,便于开发者借鉴、引入和复用。☆424Nov 10, 2023Updated 2 years ago
- ACM模板和一些题目的代码实现☆392Jun 13, 2019Updated 6 years ago
- Smart Contract Security Verification Standard☆513Jan 22, 2025Updated last year
- Smart Contract Vulnerabilities (SCV) List☆507Aug 22, 2023Updated 2 years ago
- Java Bytecode Kit☆524Dec 19, 2025Updated last month
- Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.☆617Updated this week
- This is a list of hardware which supports Intel SGX - Software Guard Extensions.☆620Mar 15, 2024Updated last year
- 计算机408专业课。等等我,还在努力...☆651Jul 28, 2025Updated 6 months ago
- Intel NUC Hackintosh Stuff☆779Feb 2, 2026Updated last week
- 计算机保研交流群(QQ群号:605176069)☆714Apr 16, 2021Updated 4 years ago
- A Shadowsocks obfuscation plugin utilising domain fronting to evade deep packet inspection☆822Mar 4, 2022Updated 3 years ago
- 此仓库将包含各大银行的基本介绍,笔试面试特点,发现这个宝库就离上岸不远了,哼☆1,209Nov 25, 2021Updated 4 years ago
- The existing blockchain-related academic papers. All papers are sorted according to the conference and published year. Welcome developer…☆1,163Dec 9, 2025Updated 2 months ago
- 铜锁/Tongsuo is a Modern Cryptographic Primitives and Protocols Library☆1,409Jan 29, 2026Updated 2 weeks ago
- 总结了后端面试八股文中的重点,希望能帮助各位准备互联网开发岗校招面试的同学。☆1,401Feb 14, 2023Updated 2 years ago