A set of exercises for getting started with the Tamarin prover
☆20Nov 2, 2023Updated 2 years ago
Alternatives and similar repositories for tamarin_toy_protocol
Users that are interested in tamarin_toy_protocol are comparing it to the libraries listed below
Sorting:
- Teaching materials related to the Tamarin Prover☆71Aug 6, 2024Updated last year
- A 2-4h workshop on the Tamarin protocol verifier.☆22Updated this week
- [Obsolete] Tamarin prover manual: source files☆25Updated this week
- Tamarin models for state continuity of SGX enclave programs☆14Aug 6, 2021Updated 4 years ago
- This is an experiment platform with autonomous agent openpilot0.8.9 and simulator carla 9.11 without docker setups.☆11Jan 3, 2025Updated last year
- This is a Tamarin model of TLS 1.3☆42Aug 19, 2023Updated 2 years ago
- Magisk Module containing the minimal software/framework/firmware for NFC functionality for NXP controllers, future plans for a hook for N…☆10Jun 30, 2023Updated 2 years ago
- LobotoMl is a set of scripts and tools to assess production deployments of ML services☆10May 16, 2022Updated 3 years ago
- Models for authenticated key exchange in Tamarin☆12Oct 9, 2019Updated 6 years ago
- Celestia derivation pipeline and proof crate built with kona☆15Dec 19, 2025Updated 2 months ago
- Remote control B&O Beoplay loudspeakers from the command line☆13Oct 17, 2022Updated 3 years ago
- Blackbox Fuzzing of Distributed Systems with Multi-Dimensional Inputs and Symmetry-Based Feedback Pruning☆13Mar 7, 2025Updated last year
- Main source code repository of the Tamarin prover for security protocol verification.☆506Feb 28, 2026Updated last week
- Hardware for the Breaking Bitcoin Board☆13Jul 30, 2017Updated 8 years ago
- Patched GDB-Multiarch to debug android Kernels.☆14Jun 29, 2019Updated 6 years ago
- U-Boot for ARMv5 Marvell Kirkwood platforms☆20Dec 14, 2014Updated 11 years ago
- ATNwalk is a grammar-based input generator for fuzzing and other evolutionary algorithms. It relies on binary-level mutations to bit sequ…☆11Dec 10, 2024Updated last year
- Symbolic Liveness Analysis of real-world software building upon KLEE to detect liveness violations (e.g. infinite loop bugs)☆12Dec 16, 2021Updated 4 years ago
- ☆36Nov 13, 2025Updated 3 months ago
- The top repository for the code accompanying our paper "Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Executi…☆16Aug 3, 2022Updated 3 years ago
- Implicit White-box Implementations of ARX Ciphers☆16Nov 16, 2022Updated 3 years ago
- Semantic Segmentation with PyTorch and ROS for Open Vision Computer or Nvidia TX2 | Based on ERFNet☆12Aug 23, 2018Updated 7 years ago
- Prototype of a fuzzer for Julia based on concolic execution☆19Feb 8, 2020Updated 6 years ago
- Jax Decompiler☆16Apr 22, 2025Updated 10 months ago
- 🔥Keywords and URLs Censored on the Chinese Internet☆13Feb 22, 2020Updated 6 years ago
- Remote control B&O Beoplay loudspeakers from macOS☆17Jan 31, 2022Updated 4 years ago
- Economics games, inspired by David D. Friedman's☆12Aug 26, 2017Updated 8 years ago
- IDE Integration of Facebook Infer☆15Nov 9, 2022Updated 3 years ago
- LIGHTER-R is a tool to optimally implement a given 4 × 4 SBox using logic gates from a reversible logic library☆13Oct 6, 2025Updated 5 months ago
- DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code☆19Jun 19, 2024Updated last year
- AES-128 and DES differential fault analysis☆16Jan 20, 2021Updated 5 years ago
- Proof-of-concept of global switching between numpy/jax/pytorch in a library.☆18Jun 18, 2024Updated last year
- DBLP BibTeX - bibtex wrapper for automatic DBLP & IACR ePrint downloads☆20Mar 29, 2023Updated 2 years ago
- A Rust to Ada/SPARK converter that makes your systems immune to the Rust virus. Converts Rust code to formally verifiable Ada, including …☆20Apr 22, 2025Updated 10 months ago
- ☆30Mar 18, 2025Updated 11 months ago
- DEciding Equivalence Properties in SECurity protocols☆20Mar 1, 2023Updated 3 years ago
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆19Mar 18, 2025Updated 11 months ago
- In memory fuzzing for embedded devices☆19Jun 20, 2012Updated 13 years ago
- White-box Design and Analysis kit☆24May 22, 2023Updated 2 years ago