18 open source projects by RUB-SysSec

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

a grammar based feedback fuzzer

A Framework for Comparing Password Guessing Strategies

Uncovering Class Hierarchies in C++ Programs

AntiFuzz: Impeding Fuzzing Audits of Binary Executables

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

OMEN: Ordered Markov ENumerator - Password Guesser

Microcode Updates for the USENIX 2017 paper: Reverse Engineering x86 Processor Microcode

Usenix Security 2021 - AURORA: Statistical Crash Analysis for Automated Root Cause Explanation

Code for the paper EvilCoder: Automated Bug Insertion at ACSAC 2016

No description, website, or topics provided.

Modeling Password Guessability Using Markov Models

Code for the ICML 2020 paper: Leveraging Frequency Analysis for Deep Fake Image Recognition.

The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"