Tamarin models for Bluetooth secure pairing protocols: Passkey Entry (PE) and Numeric comparison (NC)
☆11May 3, 2024Updated 2 years ago
Alternatives and similar repositories for bluetooth-pairing-formal-verification
Users that are interested in bluetooth-pairing-formal-verification are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Tamarin models for state continuity of SGX enclave programs☆14Aug 6, 2021Updated 5 years ago
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆21Mar 18, 2025Updated last year
- Models for authenticated key exchange in Tamarin☆12Oct 9, 2019Updated 7 years ago
- Tamarin proof for the KEMTLS protocol using the multi-stage AKE model☆14Apr 19, 2023Updated 3 years ago
- A Tamarin model and analysis of EMV payments (Europay, Mastercard, Visa)☆37Feb 8, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆12Dec 10, 2021Updated 4 years ago
- A Tamarin model and analysis of EMV contactless payments☆15Feb 16, 2021Updated 5 years ago
- This is a Tamarin model of TLS 1.3☆45Aug 19, 2023Updated 3 years ago
- ☆19Oct 21, 2026Updated last week
- DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code☆20Jun 19, 2024Updated 2 years ago
- This novel black-box web vulnerability scanner attempts to infer the state machine of the web application.☆19Mar 12, 2020Updated 6 years ago
- Code for our 2024 ACM AsiaCCS Paper "Who's Breaking the Rules? Studying Conformance to the HTTP Specifications and its Security Impact"☆18Jul 16, 2026Updated 3 months ago
- A 2-4h workshop on the Tamarin protocol verifier.☆26Mar 9, 2026Updated 7 months ago
- Scloud+: An Efficient LWE-based KEM Without Ring/Module Structure☆17Jun 30, 2026Updated 3 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 使用PyQt5完成的网络助手工具，支持多客户端并发☆16Aug 28, 2020Updated 6 years ago
- This repository contains Jupyter notebooks that demonstrate how to use Netspresso to prune pre-trained deep learning models from STM32AI …☆11May 28, 2024Updated 2 years ago
- Automated benchmarking and testing of Post-Quantum Public Key Algoritms (work in progress)☆12Jul 27, 2018Updated 8 years ago
- ☆11May 14, 2020Updated 6 years ago
- Frontend for various MIFARE Classic tools from libnfc☆11May 17, 2016Updated 10 years ago
- Teaching materials related to the Tamarin Prover☆73Aug 6, 2024Updated 2 years ago
- MSR LatticeCrypto library http://research.microsoft.com/en-us/projects/latticecrypto/☆14May 25, 2016Updated 10 years ago
- ☆21Jun 30, 2019Updated 7 years ago
- [ICLR2026] SparseEval: Efficient Evaluation of Large Language Models by Sparse Optimization☆14Feb 10, 2026Updated 8 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Source codes used on the academic paper, "A Lightweight IoT Cryptojacking Detection Mechanism in Heterogeneous Smart Home Networks".☆11Jul 29, 2022Updated 4 years ago
- Unified Maude model-checking tool☆13Oct 18, 2026Updated last week
- This is the home of YoutubeTV Ad Blocker. Any questions? Submit an issue.☆16Jul 2, 2020Updated 6 years ago
- about 5G doc and code☆11Jun 14, 2019Updated 7 years ago
- PPA attack code☆12Aug 9, 2022Updated 4 years ago
- A small library for the Admin Port interface for OpenTTD☆13Jul 2, 2024Updated 2 years ago
- This is the repository for JÄk. I created it as prototype during my masterthesis.☆31Jan 22, 2018Updated 8 years ago
- ☆15Feb 8, 2022Updated 4 years ago
- ☆12Apr 6, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Sources of the EuroProofNet web site.☆13Sep 3, 2026Updated last month
- ☆12Oct 8, 2022Updated 4 years ago
- CTF Challenge for CSAW Finals 2021☆13Nov 17, 2021Updated 4 years ago
- Building an Intrusion detection system using KDD Cup 99 Dataset☆14May 11, 2020Updated 6 years ago
- ☆11Mar 30, 2022Updated 4 years ago
- ☆21Dec 26, 2025Updated 10 months ago
- OpenPGP smart card minidriver☆14Nov 6, 2024Updated last year