EMVrace / EMVerify-PAN-routingView external linksLinks
A Tamarin model and analysis of EMV contactless
☆15Feb 16, 2021Updated 4 years ago
Alternatives and similar repositories for EMVerify-PAN-routing
Users that are interested in EMVerify-PAN-routing are comparing it to the libraries listed below
Sorting:
- A Tamarin model and analysis of EMV☆36Feb 8, 2021Updated 5 years ago
- This is the code for the Pluto framework to assess data exposure by an Android app to an advertising library. The framework was presented…☆13Jan 23, 2018Updated 8 years ago
- Project website☆15Jan 2, 2023Updated 3 years ago
- A 2-4h workshop on the Tamarin protocol verifier.☆22Jun 12, 2025Updated 8 months ago
- ☆34Oct 7, 2025Updated 4 months ago
- A "symptoms -disease- prescription" dataset based on TCM textbooks was constructed. The dataset contains 343 categories of diseases,inclu…☆12Oct 27, 2022Updated 3 years ago
- This is a custom integration for Home Assistant that allows you to control and monitor IRSAP radiators through AWS Cognito authentication…☆13Jul 7, 2025Updated 7 months ago
- Cochlear implant signal processing☆10Jun 24, 2021Updated 4 years ago
- The HW-CBMC and EBMC Model Checkers for Verilog☆102Updated this week
- Convergent Dispersal Deduplication Datastore☆10Jan 21, 2016Updated 10 years ago
- Sources of the EuroProofNet web site.☆13Feb 2, 2026Updated last week
- Media around Buildbot - images, slides, papers, etc.☆13Oct 6, 2019Updated 6 years ago
- Digital advertising is becoming increasingly important. At the same time, however, the problems of this type of marketing are becoming mo…☆11Oct 4, 2022Updated 3 years ago
- Cashapp is a mobile application for P2P money transactions which acts as e-cash based in escrow accounts. www.cashapp.mx☆14Mar 14, 2015Updated 10 years ago
- LightFlow: An intuitive, user-friendly framework for optics and photonics simulations, designed for educational and research applications…☆12Sep 8, 2023Updated 2 years ago
- Multiple ANOVA with Tukey Test to create an athleisure clothing ad campaign strategy using Google, Youtube, and Amazon search volume data…☆10Jul 7, 2020Updated 5 years ago
- PBRP/SHRP/OFR Tree for Galaxy A20s☆15Jul 5, 2021Updated 4 years ago
- 德科物联二代证/身份证云解码源码。使用安卓手机NFC读取完整的身份证明文信息，包括身份证号、姓名、名族、性别、住址、头像、出生日期、有效期等信息。☆11Dec 8, 2022Updated 3 years ago
- A netmap-based userspace network stack.☆10May 7, 2015Updated 10 years ago
- Models for authenticated key exchange in Tamarin☆12Oct 9, 2019Updated 6 years ago
- Deprecated Setup script for installing Bitcoin Core to Tails persistent storage. See github.com/BenWestgate/bails for its sucessor projec…☆11May 17, 2025Updated 8 months ago
- Mirror of NetBSD sources useful with rump kernels☆13Mar 23, 2017Updated 8 years ago
- Welcome to ChillWeather.☆10Aug 4, 2022Updated 3 years ago
- Learn the Design of a 6-stage pipelined RISC-V CPU☆17Oct 22, 2025Updated 3 months ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 9 years ago
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 years ago
- Static analysis for llvm☆20Mar 31, 2015Updated 10 years ago
- The heart!☆11Jul 21, 2024Updated last year
- Tool to visualize and explain LTL counterexamples generated by the NuSMV model checker☆10Sep 7, 2020Updated 5 years ago
- Public repository of the data, scripts and methodology presented in the paper "Towards On-Board SAR Processing with FPGA Accelerators and…☆12Apr 12, 2023Updated 2 years ago
- A repository where I publish my upcoming HyperOS PORTS for POCO X3/NFC☆15May 26, 2024Updated last year
- Provides bitcoin cash-specific convenience functions and types☆11Dec 5, 2025Updated 2 months ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆11Oct 20, 2020Updated 5 years ago
- ☆13May 26, 2021Updated 4 years ago
- Proof of concept code for VoteAgain paper☆10Jul 23, 2023Updated 2 years ago
- Chrome App that talks to Android host-based card emulation application.☆11Nov 21, 2014Updated 11 years ago
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆13Apr 19, 2023Updated 2 years ago
- This is the example model described in the paper S. Resch and M. Paulitsch, "Using TLA+ in the Development of a Safety-Critical Fault-Tol…☆18Nov 24, 2017Updated 8 years ago
- Card emulator and test kit for Trip Reader☆15Sep 30, 2024Updated last year