EMVrace / EMVerifyLinks
A Tamarin model and analysis of EMV
☆36Updated 4 years ago
Alternatives and similar repositories for EMVerify
Users that are interested in EMVerify are comparing it to the libraries listed below
Sorting:
- Zigator: A security analysis tool for Zigbee and Thread networks☆33Updated 2 years ago
- BlueRepli-Plus☆18Updated 5 years ago
- Implementation of the key recovery attack against GEA-1 keys (Eurocrypt 2021)☆49Updated 4 years ago
- Smartcard APDU interception and MITM for one smartcard model☆38Updated 7 years ago
- CSAW Embedded Security Challenge 2019☆37Updated 6 years ago
- DIT is a DTLS MitM proxy implemented in Python 3. It can intercept, manipulate and suppress datagrams between two DTLS endpoints and supp…☆58Updated 3 years ago
- Code for the AsiaCCS 2017 paper "Discovering Logical Vulnerabilities in the Wi-Fi Handshake using Model-Based Testing".☆13Updated 7 years ago
- BLEBoy is a training tool to teach users about BLE security by providing a single BLE peripheral that can be used to experiment with each…☆44Updated 6 years ago
- Sample implementations of the attacks shown in https://eprint.iacr.org/2020/1456☆21Updated 4 years ago
- ☆17Updated 7 years ago
- Some tee/trustzone helper stuff☆56Updated 6 years ago
- White-box Analysis and Implementation Tools☆77Updated 3 years ago
- VM demonstration various symlink and hard link attacks against secure boot. See the whitepaper at: https://www.anvilventures.com/blog/def…☆14Updated 5 years ago
- Piotr - IoT firmware emulation instrumentation for training and research☆65Updated 3 years ago
- ☆20Updated 6 years ago
- Research tools developed for Intel Wi-Fi chips☆56Updated 6 months ago
- Awesome list for baseband modem resources.☆13Updated 7 years ago
- Bluetooth Impersonation AttackS (BIAS) [CVE 2020-10135]☆90Updated 4 years ago
- Repository of the official Docker image for SideChannelMarvels.☆54Updated 7 years ago
- Frida FDE bruteforce Samsung S7 Edge☆50Updated 6 years ago
- Slides(In both CN and EN) & WP(outdated) of my topic in HITCON 2019 about bug hunting in Android NFC☆15Updated 6 years ago
- ☆21Updated 4 years ago
- Solutions to https://cryptopals.com problems☆28Updated 8 months ago
- Repository for the Framing Frames publication: security context and transmit queue manipulations, client isolation bypasses, and more.☆47Updated 2 years ago
- 802.15.4 Fuzzer☆21Updated 6 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
- Hardware design files for the PMOD based MUX☆13Updated 6 years ago
- Collection of scripts and how-to for hacking embedded devices☆22Updated 3 weeks ago
- X41 Smartcard Fuzzer☆120Updated 6 years ago
- FinSpy for Android technical analysis and tools☆57Updated 5 years ago