Pinned Repositories
boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
choco-solver
An open-source Java library for Constraint Programming
Crypton
Library consisting of explanation and implementation of all the existing attacks on various Encryption Systems, Digital Signatures, Key Exchange, Authentication methods along with example challenges from CTFs
cryptosmt
An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.
period-search
Code for our paper Simon’s Algorithm and Symmetric Crypto: Generalizations and Automatized Applications
ProjectQ
ProjectQ: An open source software framework for quantum computing
qiskit-aqua
Quantum Algorithms & Applications in Python
qiskit-terra
Terra provides the foundations for Qiskit. It allows the user to write quantum circuits easily, and takes care of the constraints of real hardware.
sboxgates
Program for finding low gate count implementations of S-boxes.
stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
ridenting's Repositories
ridenting/boolector
A Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions.
ridenting/choco-solver
An open-source Java library for Constraint Programming
ridenting/Crypton
Library consisting of explanation and implementation of all the existing attacks on various Encryption Systems, Digital Signatures, Key Exchange, Authentication methods along with example challenges from CTFs
ridenting/cryptosmt
An easy to use tool for cryptanalysis of symmetric primitives based on SMT/SAT solvers.
ridenting/period-search
Code for our paper Simon’s Algorithm and Symmetric Crypto: Generalizations and Automatized Applications
ridenting/ProjectQ
ProjectQ: An open source software framework for quantum computing
ridenting/qiskit-aqua
Quantum Algorithms & Applications in Python
ridenting/qiskit-terra
Terra provides the foundations for Qiskit. It allows the user to write quantum circuits easily, and takes care of the constraints of real hardware.
ridenting/sboxgates
Program for finding low gate count implementations of S-boxes.
ridenting/stp
Simple Theorem Prover, an efficient SMT solver for bitvectors
ridenting/Tools-for-Cryptanalysis
A repository that aims to provide tools for cryptography and cryptanalysis
ridenting/yaarx
Yet Another Toolkit for Analysis of ARX Cryptographic Algorithms
ridenting/z3
The Z3 Theorem Prover