Starred repositories
Code for generative hypergraph clustering via modularity-like objective functions.
Privacy-preserving multi-pose face recognition system
FortifyPatch: Towards Tamper-resistant Live Patching in Linux-based Hypervisor.
Reinforcement Learning-based Hardware Trojan Detector
4
Updated May 27, 2025
Research project from UCI's AICPS lab: using GNNs to enable hardware security and prevent hardware trojans
A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.
This project explores the application of classical machine learning techniques to the partitioning of VLSI (Very Large Scale Integration) circuit netlists.
This is my MSc thesis project published in the University of Guelph library. This project applies Graph Neural Networks, to an optimization problem, Circuit Partitioning, leveraging, the predictive…
Used for hardware trojan detection（Based on Trust_Hub）
Tutorial on Symbolic Execution. Hands-on session is based on the angr framework.
A LaTeX resume template designed for optimal information density and aesthetic appeal.
A huge collection of VHDL/Verilog open-source IP cores scraped from the web
A highly imitated WeChat app developed based on HarmonyOS NEXT | 基于鸿蒙OS NEXT开发的高仿微信APP
华为鸿蒙分布式操作系统（Huawei HarmonyOS，纯血鸿蒙Harmony Next ），开源鸿蒙分布式操作系统（ OpenHarmony）开发技术交流，最全鸿蒙技术资料库，手册，指南，共建国产操作系统万物互联新生态。
「Java学习+面试指南」一份涵盖大部分 Java 程序员所需要掌握的核心知识。准备 Java 面试，首选 JavaGuide！
A powerful and user-friendly binary analysis platform!
为GPT/GLM等LLM大语言模型提供实用化交互接口，特别优化论文阅读/润色/写作体验，模块化设计，支持自定义快捷按钮&函数插件，支持Python和C++等项目剖析&自译解功能，PDF/LaTex论文翻译&总结功能，支持并行问询多种LLM模型，支持chatglm3等本地模型。接入通义千问, deepseekcoder, 讯飞星火, 文心一言, llama2, rwkv, claude2, m…
用于演示Java Web项目中，漏洞的成因及修复方案，可用于黑盒测试和白盒测试，部分修复方案可用于生产环境。