CDCL(Crypto) SAT solver for cryptanalysis problems
☆11Mar 5, 2021Updated 4 years ago
Alternatives and similar repositories for CDCL-Crypto
Users that are interested in CDCL-Crypto are comparing it to the libraries listed below
Sorting:
- Snapshot testing made for java☆12May 9, 2023Updated 2 years ago
- Poker multitable tournament ICM estimation☆11Sep 21, 2017Updated 8 years ago
- Artifacts of VLDB'22 paper "COMET: A Novel Memory-Efficient Deep Learning TrainingFramework by Using Error-Bounded Lossy Compression"☆10Aug 2, 2022Updated 3 years ago
- ☆13Oct 14, 2016Updated 9 years ago
- This repository contains a tutorial on how to build roll_up with☆10Mar 9, 2019Updated 6 years ago
- A simple intermediate language for generating EVM bytecode.☆13Oct 17, 2024Updated last year
- ☆12Sep 30, 2024Updated last year
- A fork of https://github.com/SafeBreach-Labs/pinjectra with a practical implementation of Stack Bombing☆29Oct 22, 2020Updated 5 years ago
- ☆12Sep 19, 2024Updated last year
- ☆16Jul 13, 2022Updated 3 years ago
- ☆11Dec 8, 2022Updated 3 years ago
- ☆11Jan 22, 2022Updated 4 years ago
- ☆11Nov 3, 2021Updated 4 years ago
- Brownie scripts that interact with DeFi applications Uniswap V3, Aave, and Chainlink☆10Nov 25, 2021Updated 4 years ago
- [QRS'22] TokenAuditor: Detecting Manipulation Risk in Token Smart Contract by Fuzzing☆16Aug 24, 2023Updated 2 years ago
- A python metamorphic engine for PE/PE+ files.☆15Jan 1, 2023Updated 3 years ago
- A Julia wrapper for the OpenSpiel project☆12Sep 5, 2024Updated last year
- Public BanditFuzz Repo☆12Jan 12, 2021Updated 5 years ago
- Kernel Shellcode to add all privileges in token☆15Mar 13, 2017Updated 8 years ago
- Eclipse Tutorial☆10Dec 23, 2015Updated 10 years ago
- ATNwalk is a grammar-based input generator for fuzzing and other evolutionary algorithms. It relies on binary-level mutations to bit sequ…☆11Dec 10, 2024Updated last year
- Automatic hacking tool for URL regexes.☆11Feb 12, 2021Updated 5 years ago
- Pollard-Rho-kangaroo solved cuda☆14Oct 9, 2019Updated 6 years ago
- A tool to search for gadgets, operations, and ROP chains using a backtracking algorithm in a tree-like structure☆19Jun 13, 2023Updated 2 years ago
- Code accompanying our paper "Finding trainable sparse networks through Neural Tangent Transfer" to be published at ICML-2020.☆13Jun 14, 2020Updated 5 years ago
- Brave quest of 16 students to make MOWNiT even better again!☆14Dec 17, 2018Updated 7 years ago
- A collection of self-attention modules and pre-trained backbones☆13Nov 28, 2020Updated 5 years ago
- ☆14Jul 25, 2024Updated last year
- PyTorch block-diagonal ODE CUDA solver, designed for gradient-based optimization☆16Apr 27, 2020Updated 5 years ago
- Tool for locating patterns in (code) binaries, mainly for ROP addresses.☆18Jun 25, 2016Updated 9 years ago
- Crypto DEX monitor for atomic arbitrage trading☆14Jan 9, 2019Updated 7 years ago
- Encoding different problems into Boolean satisfiability☆12Sep 29, 2022Updated 3 years ago
- Successfully training approximations to full-rank matrices for efficiency in deep learning.☆17Jan 5, 2021Updated 5 years ago
- Pinjectra is a C/C++ OOP-like library that implements Process Injection techniques (with focus on Windows 10 64-bit)☆16Sep 4, 2020Updated 5 years ago
- Solidity upgradeable contracts proxy based on unstructured storage pattern☆15Nov 20, 2024Updated last year
- InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts!☆16May 31, 2022Updated 3 years ago
- Demonstration project for react-native-v8 on iOS☆13Jan 5, 2023Updated 3 years ago
- Boilerplate of step-by-step instructions of my blog post☆15Nov 20, 2018Updated 7 years ago
- ☆18Mar 20, 2017Updated 8 years ago