Skip to content
View mboehme's full-sized avatar

Organizations

@ossf

Block or report mboehme

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

This repository contains the replication package for the paper "How Much is Unseen Depends Chiefly on Information About the Seen," accepted at the ICLR 2025 conference as a spotlight paper.

Jupyter Notebook 1 Updated Feb 11, 2025

Code auditing productivity multiplier.

C++ 447 27 Updated Jan 21, 2025

Böhme Research Group Website

HTML 2 Updated Mar 18, 2025

Recent Fuzzing Paper

2,568 368 Updated Feb 13, 2025

Large Language Model guided Protocol Fuzzing (NDSS'24)

C 318 31 Updated Sep 22, 2024

🔍A cutting edge context aware GraphQL API fuzzing tool!

Python 135 8 Updated Mar 7, 2025
Go 438 32 Updated Aug 14, 2024

GEF (GDB Enhanced Features) - a modern experience for GDB with advanced debugging capabilities for exploit devs & reverse engineers on Linux

Python 7,331 762 Updated Mar 16, 2025

Function graph tracer for C/C++/Rust/Python

C 3,174 510 Updated Mar 10, 2025

Our mission is to catalyze sustainable improvements to critical open source software projects and ecosystems.

Open Policy Agent 91 54 Updated Mar 12, 2025
C++ 400 27 Updated Mar 16, 2025

A curated list of awesome directed fuzzing research papers

503 46 Updated Feb 13, 2025
Jupyter Notebook 3 Updated Feb 11, 2022

Kernel Fuzzer for Xen Project (KF/x) - Hypervisor-based fuzzing using Xen VM forking, VMI & AFL

C 472 80 Updated Jul 8, 2024

the Network Protocol Fuzzer that we will want to use.

Python 745 113 Updated Jan 29, 2024

ProFuzzBench - A Benchmark for Stateful Protocol Fuzzing

Shell 227 58 Updated Aug 7, 2024

AFL binary instrumentation

C++ 296 23 Updated Jan 17, 2025

A powerful static binary rewriting tool

C 1,011 67 Updated Jan 22, 2025
Python 11 4 Updated Jun 8, 2021

A regression greybox fuzzer aflchurn

Jupyter Notebook 65 11 Updated May 19, 2022

FairFuzz: AFL extension targeting rare branches

C 241 49 Updated Feb 19, 2019

Artifact Repository for the paper "Prime+Probe 1, JavaScript 0: Overcoming Browser-based Side-Channel Defenses"

HTML 40 6 Updated Nov 13, 2021

Coverage-guided, in-process fuzzing for the JVM

Java 1,090 150 Updated Feb 17, 2025
Next