cloudy's repositories
angr-doc
Documentation for the angr suite
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
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
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