Specify and synthesize systems using symbolic algorithms

Rabin fingerprinting implemented in WASM

Pure OCaml implementation of libXdiff (Rabin's fingerprint)

Oblivious Transfer and Zero Knowledge Proof protocols implemented in Sagemath in Python

A Rust implementation of the Miller-Rabin primality test algorithm.

Implementation of Ciphers

Algorithms studied during the Cryptography Course

Used algorithms for prime generation/check (Fermat's test and Miler Rabin's test) to implement discrete logarithm (BSGS), and inverse and exponentiation (Extended Euclid's algorithm). Refer to readme.txt for more details.

Implementation of the Miller-Rabin primality test.

Implementation of File to Image Encryption on C++

Cryptography from the point of view of functional programming

Rabin Cryptosystem implementation in Haskell

This project implements the main cryptographic functions and 7 cryptosystems

Programs I wrote that helped me understand encryption, decryption and signing functions along with security protocols. Programs written in Java using BigIntegers.

Rabin IPFS chunker in rust/wasm

A file type analyzer accepts the directory path and detects each type of file using KMP algorithm, which is later enhanced using Rabin Karp algorithm.