zhang-li Goto Github PK

acsac-course

angr

A powerful and user-friendly binary analysis platform!

angr-doc

Documentation for the angr suite

angrop

cortex

Cloud native model serving infrastructure

deepstate

A unit test-like interface for fuzzing and symbolic execution

ghidra

Ghidra is a software reverse engineering (SRE) framework

honeyd

virtual honeypots

how2heap

A repository for learning various heap exploitation techniques.

kafl

Code for the USENIX 2017 paper: kAFL: Hardware-Assisted Feedback Fuzzing for OS Kernels

ptfuzzer

Improving AFL by using Intel PT to collect branch information

pycon_tutorial

rassh

RASSH – Reinforced Adaptive SSH Honeypot This is a project developed for my Phd Thesis and the target is to create an Adaptive Honeypot capable of interacting with attackers using Reinforcement Learning. The code is written in Python and it uses the Kippo SSH Honeypot as reference(source) to create an emulated SSH server that interacts with the attackers by allowing/blocking/delaying/substituting their commands or insulting them. For the RL implementation the project uses PyBrain a modular Machine Learning Library for Python.

robust-adv-malware-detection

Code repository for the paper "Adversarial Deep Learning for Robust Detection of Binary Encoded Malware"

syntia

Program synthesis based deobfuscation framework for the USENIX 2017 paper "Syntia: Synthesizing the Semantics of Obfuscated Code"

threat-modeling-templates

Microsoft Threat Modeling Template files