A Tamarin model and analysis of EMV contactless
☆15Feb 16, 2021Updated 5 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
- Project website☆15Jan 2, 2023Updated 3 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
- A 2-4h workshop on the Tamarin protocol verifier.☆22Updated this week
- ☆34Oct 7, 2025Updated 5 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
- Cochlear implant signal processing☆10Jun 24, 2021Updated 4 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 8 months ago
- The HW-CBMC and EBMC Model Checkers for Verilog☆103Updated this week
- Media around Buildbot - images, slides, papers, etc.☆13Oct 6, 2019Updated 6 years ago
- PBRP/SHRP/OFR Tree for Galaxy A20s☆15Jul 5, 2021Updated 4 years ago
- Convergent Dispersal Deduplication Datastore☆10Jan 21, 2016Updated 10 years ago
- Sources of the EuroProofNet web site.☆13Feb 28, 2026Updated last week
- 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
- 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
- LightFlow: An intuitive, user-friendly framework for optics and photonics simulations, designed for educational and research applications…☆12Sep 8, 2023Updated 2 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
- ☆11Mar 17, 2021Updated 4 years ago
- Static analysis for llvm☆20Mar 31, 2015Updated 10 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
- Proof of concept code for VoteAgain paper☆10Jul 23, 2023Updated 2 years ago
- SVM Abstrac Verifier tool☆12Oct 13, 2022Updated 3 years ago
- Mirror of NetBSD sources useful with rump kernels☆13Mar 23, 2017Updated 8 years ago
- Experimental hostapd/wpa_supplicant that allows automatic MACsec channel establishment☆11Sep 5, 2017Updated 8 years ago
- ☆11May 26, 2024Updated last year
- A repository where I publish my upcoming HyperOS PORTS for POCO X3/NFC☆15May 26, 2024Updated last year
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 9 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 9 months ago
- funky fun fuzzer☆11Jul 6, 2021Updated 4 years ago
- Tap2Pix NFC Card Emulation Service é um serviço Android que utiliza Host-based Card Emulation (HCE) para emular um cartão NFC e transmiti…☆12Oct 29, 2024Updated last year
- Why NETCOIN (NET) Netcoin, like anything else in the world, is “worth” what we as a species value it to be. Which, of course then begs t…☆13Jul 12, 2016Updated 9 years ago
- GitHub Actions Security Tester☆12Feb 1, 2023Updated 3 years ago
- ☆13May 26, 2021Updated 4 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
- 德科物联二代证/身份证云解码源码。使用安卓手机NFC读取完整的身份 证明文信息，包括身份证号、姓名、名族、性别、住址、头像、出生日期、有效期等信息。☆11Dec 8, 2022Updated 3 years ago
- Chrome App that talks to Android host-based card emulation application.☆11Nov 21, 2014Updated 11 years ago
- Models for authenticated key exchange in Tamarin☆12Oct 9, 2019Updated 6 years ago
- Provides bitcoin cash-specific convenience functions and types☆11Dec 5, 2025Updated 3 months ago
- POV templates and compilation support for CGC binaries.☆10May 19, 2022Updated 3 years ago