tjholodnik Goto Github PK

brotli4j

Brotli4j provides Brotli compression and decompression for Java.

cairis

Computer Aided Integration of Requirements and Information Security - Server

clairvoyance

Obtain GraphQL API schema despite disabled introspection!

evilginx2

Standalone man-in-the-middle attack framework used for phishing login credentials along with session cookies, allowing for the bypass of 2-factor authentication

learn-spring

New - "Learn Spring Security OAuth":

masseyramanujan

alternative ideas for the ramanujan machine

payment-channel-tla

Specification of a protocol for payment channels in TLA+

programmers-introduction-to-mathematics

Code for A Programmer's Introduction to Mathematics

pytm

A Pythonic framework for threat modeling

rest-api-fuzz-testing

REST API Fuzz Testing (RAFT): Source code for self-hosted service developed for Azure, including the API, orchestration engine, and default set of security tools (including MSR's RESTler), that enables developers to embed security tooling into their CI/CD workflows

restler-fuzzer

RESTler is the first stateful REST API fuzzing tool for automatically testing cloud services through their REST APIs and finding security and reliability bugs in these services.

securitytips

tutorials

Just Announced - "Learn Spring Security OAuth":

vulnerable-graphql-api

A very vulnerable implementation of a GraphQL API.

z3

The Z3 Theorem Prover