Email quirks and bugs

A LaTeX template for grant proposals to the DFG.

Web Cache Vulnerability Scanner is a Go-based CLI tool for testing for web cache poisoning. It is developed by Hackmanit GmbH (https://hackmanit.de/).

The TLS-Scanner for the SIWECOS Project

Fake XRandR configurations for multi-head setups with crappy video drivers, like fakexinerama but with xrandr

a few scripts for downloading BBB videos

Python Elliptic Curve Side-Channel Analysis toolkit.

htcap is a web application scanner able to crawl single page application (SPA) recursively by intercepting ajax calls and DOM changes.

Code coverage tool for compiled programs, Python and Bash which uses debugging information to collect and report data without special compilation options

Reload+Refresh PoC

A TLS-Attacker maven Template for new TLS-Attacker related projects

Sage and Python notebooks covering various subjects

ANTLR v4 grammar-based test generator

sslxray is an SSL/TLS scanning tool designed to detect a wide range of issues

TLS CBC Padding Oracle Checker

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastruc…

The Correlated CVE Vulnerability And Threat Intelligence Database API

Practical Cryptography for Developers: Hashes, MAC, Key Derivation, DHKE, Symmetric and Asymmetric Ciphers, Public Key Cryptosystems, RSA, Elliptic Curves, ECC, secp256k1, ECDH, ECIES, Digital Sign…

A Tool for the Static Analysis of Cache Side Channels

Generic ASN.1 library for Python

A reversible DER and BER pretty-printer.

CertMaker - generate customized certificate chains from the command line

A testing framework for mail security and filtering solutions.

CogniCrypt_SAST: CrySL-to-Static Analysis Compiler

Tools to interact with a certificate transparency server

HTML/CSS drawing in the style of an 18th-century oil painting. Hand-coded entirely in HTML & CSS.