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.

No description provided.

Algorithms studied during the Cryptography Course

Implementation of Ciphers

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++

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.

Cryptography from the point of view of functional programming

Independent implementations of DES and Rabin encryption algorithms using Maven. Includes key generation, encryption, and decryption functionalities.

Rabin Cryptosystem implementation in Haskell

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.

A disk I/O management utility to reserve, allocate, and optimize disk space usage, trying to ensure efficient file handling. Seamlessly locks disk space in advance, freeing and reallocating it for future I/O operations with optimal pagination for maximum performance.