EMVrace / EMVerify
A Tamarin model and analysis of EMV
☆31Updated 4 years ago
Alternatives and similar repositories for EMVerify:
Users that are interested in EMVerify are comparing it to the libraries listed below
- Implementation of the key recovery attack against GEA-1 keys (Eurocrypt 2021)☆48Updated 3 years ago
- VM demonstration various symlink and hard link attacks against secure boot. See the whitepaper at: https://www.anvilventures.com/blog/def…☆13Updated 4 years ago
- Research tools developed for Intel Wi-Fi chips☆52Updated last year
- Here be dragons. Or Slides. Or Papers. Or Nothing :)☆32Updated 6 years ago
- Some tee/trustzone helper stuff☆52Updated 5 years ago
- ☆16Updated 6 years ago
- ☆20Updated 3 years ago
- Proof-of-Concept Dictionary Attacker against IKEv1 PSK in Main Mode☆18Updated 5 years ago
- Slides(In both CN and EN) & WP(outdated) of my topic in HITCON 2019 about bug hunting in Android NFC☆15Updated 5 years ago
- Awesome list for baseband modem resources.☆12Updated 6 years ago
- Smartcard APDU interception and MITM for one smartcard model☆39Updated 7 years ago
- A tool that bypasses PN553 signature protection☆49Updated last year
- BlueRepli-Plus☆17Updated 4 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…☆41Updated 5 years ago
- Debugger for the Shannon Baseband☆58Updated 4 years ago
- Hackmelock emulator device using node.js bleno☆27Updated 7 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 years ago
- Simple attacks on AES-ECB☆20Updated 4 years ago
- Skeleton (but pronounced like Peloton): A Zero-Click RCE exploit for CVE-2021-0326☆18Updated 3 years ago
- Collection of scripts and how-to for hacking embedded devices☆22Updated 2 months ago
- CSAW Embedded Security Challenge 2019☆34Updated 5 years ago
- Scripts to collect microcode from CPUMicrocodes Repo and to downgrade to a compatible microcode.☆19Updated 6 months ago
- Slides and stuffs of the meetings during the 2020.☆16Updated 3 years ago
- Miscellaneous one-off scripts, exploits, tools, sample code, ...☆10Updated 6 years ago
- A tool to perform so called BGE attack☆24Updated last year
- ☆31Updated 2 weeks ago
- ☆13Updated 4 years ago
- Presented hardware reverse engineering workshops since 2019☆61Updated 8 months ago
- Ledger Donjon CTF 2020☆17Updated 3 years ago
- A vizualization tool for data generated by the bal framework☆11Updated 2 years ago