EMVrace / EMVerifyLinks
A Tamarin model and analysis of EMV
☆34Updated 4 years ago
Alternatives and similar repositories for EMVerify
Users that are interested in EMVerify are comparing it to the libraries listed below
Sorting:
- ☆17Updated 7 years ago
- BlueRepli-Plus☆18Updated 5 years ago
- Research tools developed for Intel Wi-Fi chips☆56Updated 3 months ago
- CSAW Embedded Security Challenge 2019☆34Updated 5 years ago
- Zigator: A security analysis tool for Zigbee and Thread networks☆33Updated 2 years ago
- Tools for exploiting, reverse engineering, and deploying firmware to the S3FWRN5 and S3NRN82 Samsung NFC Controllers☆100Updated 5 years ago
- Slides and stuffs of the meetings during the 2020.☆16Updated 3 years ago
- X41 Smartcard Fuzzer☆119Updated 6 years ago
- Awesome list for baseband modem resources.☆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…☆43Updated 5 years ago
- VM demonstration various symlink and hard link attacks against secure boot. See the whitepaper at: https://www.anvilventures.com/blog/def…☆13Updated 5 years ago
- Code for the AsiaCCS 2017 paper "Discovering Logical Vulnerabilities in the Wi-Fi Handshake using Model-Based Testing".☆13Updated 7 years ago
- Some tee/trustzone helper stuff☆54Updated 6 years ago
- Bluetooth Impersonation AttackS (BIAS) [CVE 2020-10135]☆92Updated 4 years ago
- Piotr - IoT firmware emulation instrumentation for training and research☆64Updated 2 years ago
- Repository for the Framing Frames publication: security context and transmit queue manipulations, client isolation bypasses, and more.☆47Updated 2 years ago
- Research material and Proof-of-Concepts for Aleph Research Findings☆87Updated 3 years ago
- ☆20Updated 5 years ago
- "Opening Pandora's Box through ATFuzzer: Dynamic Analysis of AT Interface for Android Smartphones" ACSAC 2019☆156Updated 4 years ago
- Exercises for (legacy) Computer Security course in the University of Oulu☆46Updated 2 years ago
- Implementation of the key recovery attack against GEA-1 keys (Eurocrypt 2021)☆49Updated 3 years ago
- 802.15.4 Fuzzer☆21Updated 6 years ago
- Ledger Donjon CTF 2020☆17Updated 3 years ago
- Presented hardware reverse engineering workshops since 2019☆62Updated last year
- White-box Analysis and Implementation Tools☆75Updated 3 years ago
- Conferences, tools, papers, etc.☆43Updated 2 weeks ago
- ☆96Updated 5 years ago
- Improving side channel analysis techniques for CTF problems.☆12Updated 4 years ago
- Launch radare2 like a boss from pwntools in tmux☆24Updated 6 years ago
- ☆18Updated 5 years ago