tinylabs / crypto-sat-solve
Python framework to solve crypto problems using grainofsalt and cryptominisat
☆14Updated 2 years ago
Alternatives and similar repositories for crypto-sat-solve:
Users that are interested in crypto-sat-solve are comparing it to the libraries listed below
- Android App that genereates passcode authentication codes for Postfinance cards☆10Updated 3 years ago
- ProxmarkIII mods and designs made for the wild☆13Updated 8 years ago
- nü-map: a somewhat-more-modern (expeirmental) derivative of umap2 for modern FaceDancer☆24Updated last year
- ☆22Updated 4 years ago
- Wiegand data logger, replay device and micro door-controller☆13Updated last year
- This repository contains a set of InternalBlue patches for the BCM4375B1 Bluetooth controller, allowing to sniff and inject Zigbee, Mosar…☆21Updated 3 years ago
- Hardware design files for the PMOD based MUX☆13Updated 5 years ago
- A reference of the different types of access control card readers and which countries they're commonly found in☆18Updated 2 years ago
- iClass / Picopass tool for libnfc☆55Updated 3 years ago
- NFC MiTM made with two PN532 readers and a Raspberry Pi.☆26Updated 4 months ago
- cheap and terrible voltage glitcher hardware/software☆40Updated 5 years ago
- Smartcard APDU interception and MITM for one smartcard model☆39Updated 7 years ago
- Minimal UART client in Golang that dumps LPC1343 chips that are locked at CRP1.☆20Updated 4 years ago
- Timing Sidechannel workshop☆29Updated 11 years ago
- Albums for the Illustrated RFID gallery☆35Updated 2 years ago
- swiss army knife of ISM RF!☆24Updated 7 years ago
- The BUSSide Badge☆46Updated 3 years ago
- A windows client using libnfc to interface with the Mifare Super-card☆25Updated 6 years ago
- ☆10Updated 7 years ago
- Raspberry Pi Zero libraries for UPS + LCD☆10Updated 4 years ago
- Proxmark 3 - HID Corporate 1000 bruteforce 35 bit cards☆34Updated 8 years ago
- This tool emulates an EMV-CAP device, to illustrate the article "Banque en ligne : à la decouverte d'EMV-CAP" published in MISC, issue #5…☆32Updated 2 years ago
- Simple voltage glitcher implementation for the iCEBreaker FPGA board☆17Updated 5 years ago
- small all-in-one library to program the GirlTech IM-Me☆19Updated 14 years ago
- ChipWhisperer-Lint is an open source implementation of our automated leakage detection tool.☆17Updated 6 years ago
- Brutally optimizing guess-and-determine attacks https://www.usenix.org/conference/woot18/presentation/verstegen☆39Updated 6 years ago
- libsigrok stacked Protocol Decoder for TPM 2.0 & TPM 1.2 transactions from an SPI bus. BitLocker Volume Master Key (VMK) are automaticall…☆23Updated 2 years ago
- BLESuite_CLI is a command line tool to enable an easier way to test Bluetooth Low Energy (BLE) devices☆32Updated 8 years ago
- Implementations of the GEA-1 and GEA-2 (GPRS Encryption Algorithm) stream ciphers in C, Python and Rust.☆17Updated 2 years ago
- Yet another Multipurpose Breakout Board to hack hardware in a clean and easy way☆29Updated last year