Pinned Repositories
bloc
Source code developed in the BLOC project
blockchain-python-tutorial
Source Code for my blog post: A Practical Introduction to Blockchain with Python
bosphorus
Bosphorus, ANF simplifier and ANF-to-CNF converter
buddy
cpp-ethereum
Ethereum C++ client
cryptominisat
An advanced SAT Solver
cryptopp
free C++ class library of cryptographic schemes
grammophone
A tool for analyzing and transforming context-free grammars.
KeccakCodePackage
Keccak Code Package
KeccakTools
KeccakTools is a set of C++ classes that can help analyze the Keccak sponge function family, designed by Guido Bertoni, Joan Daemen, Michaël Peeters and Gilles Van Assche. For more information, please refer to our website: http://keccak.noekeon.org/
shrawant's Repositories
shrawant/bloc
Source code developed in the BLOC project
shrawant/blockchain-python-tutorial
Source Code for my blog post: A Practical Introduction to Blockchain with Python
shrawant/bosphorus
Bosphorus, ANF simplifier and ANF-to-CNF converter
shrawant/buddy
shrawant/cpp-ethereum
Ethereum C++ client
shrawant/cryptominisat
An advanced SAT Solver
shrawant/cryptopp
free C++ class library of cryptographic schemes
shrawant/grammophone
A tool for analyzing and transforming context-free grammars.
shrawant/KeccakCodePackage
Keccak Code Package
shrawant/KeccakTools
KeccakTools is a set of C++ classes that can help analyze the Keccak sponge function family, designed by Guido Bertoni, Joan Daemen, Michaël Peeters and Gilles Van Assche. For more information, please refer to our website: http://keccak.noekeon.org/
shrawant/mathic
C++ library of symbolic algebra data structures for use in Groebner basis computation.
shrawant/minisat2
A minimalistic and high-performance SAT solver
shrawant/msieve
msieve - Number Field Sieve implementation by Jason Papadopoulos
shrawant/pycryptodome
A self-contained cryptographic library for Python
shrawant/RHash
Great utility for computing hash sums
shrawant/sage
Mirror of the Sage source tree -- NO PRs! -- everything must be submitted via https://trac.sagemath.org/
shrawant/sboxoptimization
Tools to optimize small functions, such as S-boxes, for several criteria using SAT solvers
shrawant/solvatore
An easy to use tool for evaluating the security of cryptographic algorithms against integral attacks.
shrawant/Sources
sources for the Singular computer algebra system
shrawant/sts
Improved version of the NIST Statistical Test Suite (STS)
shrawant/The-McEliece-Cryptosystem
This is the C implementation of the McEliece Cryptosystem based on QC-MDPC codes.
shrawant/Tools-for-Cryptanalysis
A repository that aims to provide tools for cryptography and cryptanalysis
shrawant/VBF
Vector Boolean Functions Library in C++