Ongoing Lean formalisation of the proof of Fermat's Last Theorem

Lean Theorem Prover

A list of useful payloads and bypass for Web Application Security and Pentest/CTF

Library consisting of explanation and implementation of all the existing attacks on various Encryption Systems, Digital Signatures, Key Exchange, Authentication methods along with example challenge…

Repository containing implementation of attacks on modern public key cryptosystems and symmetric key ciphers.

Create Animated Drawings in Rust