Discover RUB-SysSec/EthBMC Open Source project

Stars
91
Rank 366,013 (Top 8 %)
Language
Rust
License
MIT License
Created over 4 years ago
Updated almost 2 years ago

RUB-SysSec

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

DroneSecurity

DroneSecurity (NDSS 2023)

Python

945

kAFL

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

redqueen

OMEN

OMEN: Ordered Markov ENumerator - Password Guesser

313

Microcode

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

Python

297

syntia

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

mobile_sentinel

nyx-net

Nyx

USENIX 2021 - Nyx: Greybox Hypervisor Fuzzing using Fast Snapshots and Affine Types

169

ijon

164

GANDCTAnalysis

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

Python

161

nautilus

a grammar based feedback fuzzer

Rust

158

aurora

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

grimoire

loki

Hardening code obfuscation against automated attacks

Python

125

Password-Guessing-Framework

A Framework for Comparing Password Guessing Strategies

Python

120

Marx

Uncovering Class Hierarchies in C++ Programs

C++

114

antifuzz

AntiFuzz: Impeding Fuzzing Audits of Binary Executables

101

WaveFake

Python

SiemensS7-Bootloader

Client utility for Siemens S7 bootloader special access feature

Python

NEMO

Modeling Password Guessability Using Markov Models

Python

gadget_synthesis

Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains

Python

EvilCoder

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

Java

JIT-Picker

Swift

cupid

Cupid: Automatic Fuzzer Selection for Collaborative Fuzzing

Probfuscator

An Obfuscation Approach using Probabilistic Control Flows

Hypercube

NDSS 2020 - HYPER-CUBE: High-Dimensional Hypervisor Fuzzing

ijon-data

PrimGen

ACSAC 2018 paper: Towards Automated Generation of Exploitation Primitives for Web Browsers

HTML

adversarial-papers

TeX

DroneSecurity-Fuzzer

DroneSecurity Fuzzer (NDSS 2023)

dompteur

C++

we-value-your-privacy

Results and data from the paper "We Value Your Privacy ... Now Take Some Cookies: Measuring the GDPR’s Impact on Web Privacy"

VPS

VTable Pointer Separation

C++

APC

Android (Unlock) Pattern Classifier

Kotlin

WindowsVTV

MinGW for 32bit with Vtable pointer verification (VTV)

C++

nyx-net-profuzzbench

Shell

PriDi

Python

xTag-mtalloc

SUCI-artifacts

some PCAPs and logs

ASSS

Application-Specific Software Stacks

xTag

MiddleboxProtocolStudy

Auxiliary material for NDSS'20 paper: On Using Application-Layer Middlebox Protocols for Peeking Behind NAT Gateways

Python

Password-Strength-Meter-Accuracy

Measuring the Accuracy of Password Strength Meters

Python

uninformed-consent

Repo for material related to the CCS 2019 paper, "(Un)informed Consent: Studying GDPR Consent Notices in the Field"

be-the-phisher

Jupyter Notebook

symtegrity

Code for the DIMVA 2018 paper "On the Weaknesses of Function Table Randomization"

MastersOfTime

libXSGS

Implementation of Delerablée and Pointcheval's eXtremely Short Group Signatures (XSGS)

xTag-llvm

MachineCodeTimings

tropyhunter

GDPR-fines

Supplemental Material for the PETS 2022 Paper "Investigating GDPR Fines in the Light of Data Flows"

Jupyter Notebook

GeneratedMediaSurvey

Jupyter Notebook

RUB-SysSec/EthBMC

RUB-SysSec

Reviews

Repository Details

More Repositories