tinylabs / crypto-sat-solveLinks
Python framework to solve crypto problems using grainofsalt and cryptominisat
☆14Updated 3 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
Sorting:
- ProxmarkIII mods and designs made for the wild☆13Updated 9 years ago
- Smartcard APDU interception and MITM for one smartcard model☆38Updated 7 years ago
- A reference of the different types of access control card readers and which countries they're commonly found in☆18Updated 3 years ago
- This repository contains a set of InternalBlue patches for the BCM4375B1 Bluetooth controller, allowing to sniff and inject Zigbee, Mosar…☆23Updated 4 years ago
- iClass / Picopass tool for libnfc☆60Updated 4 years ago
- The BUSSide Badge☆48Updated 3 years ago
- nü-map: a somewhat-more-modern (expeirmental) derivative of umap2 for modern FaceDancer☆29Updated last year
- Android App that genereates passcode authentication codes for Postfinance cards☆11Updated 3 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…☆33Updated 2 months ago
- Wiegand data logger, replay device and micro door-controller☆14Updated last year
- Hardware design files for the PMOD based MUX☆13Updated 6 years ago
- Minimal UART client in Golang that dumps LPC1343 chips that are locked at CRP1.☆20Updated 4 years ago
- Albums for the Illustrated RFID gallery☆37Updated 6 months ago
- NFC MiTM made with two PN532 readers and a Raspberry Pi.☆33Updated last year
- RF430FRL152H examples for NFC Type V in Kicad and C.☆77Updated 5 years ago
- Brutally optimizing guess-and-determine attacks https://www.usenix.org/conference/woot18/presentation/verstegen☆43Updated 7 years ago
- Timing Sidechannel workshop☆30Updated 12 years ago
- Proxmark3 rvd4.0 adaptation based iceman fork☆14Updated 7 years ago
- Tools for attacking various MIFARE RFID cards☆15Updated 6 years ago
- An example showing how to develop basic firmware for the Pico Debug'n'Dump☆15Updated 2 years ago
- ApiMote IEEE 802.15.4/ZigBee Sniffing Hardware☆87Updated 11 years ago
- The Android app for scanning GSM networks with OsmocomBB-compatible phones☆12Updated 4 years ago
- Implementations of the GEA-1 and GEA-2 (GPRS Encryption Algorithm) stream ciphers in C, Python and Rust.☆18Updated 3 years ago
- OpenBTS-UMTS reloaded 2024. Compatibility with latest UHD drivers, several fixes and updated install documentation for Ubuntu 22.04☆60Updated last year
- Android application allowing to sniff and inject Zigbee, Mosart and Enhanced ShockBurst packets on a Samsung Galaxy S20☆67Updated 4 years ago
- TokenGet is a tool to intercept Samsung Pay tokens using a credit card reader and a raspberry zero.☆25Updated 9 years ago
- A windows client using libnfc to interface with the Mifare Super-card☆27Updated 7 years ago
- SimBrush - SIM data carver and wrapper☆21Updated 13 years ago
- a library to help you do Great things☆36Updated 6 months ago
- This package allows interaction with nRF24LU1+ based dongles and the RFStorm firmware.☆23Updated 6 years ago