cascremers / scytherView external linksLinks
The Scyther Tool for the symbolic analysis of security protocols
☆107Sep 8, 2025Updated 5 months ago
Alternatives and similar repositories for scyther
Users that are interested in scyther are comparing it to the libraries listed below
Sorting:
- Main source code repository of the Tamarin prover for security protocol verification.☆505Feb 3, 2026Updated last week
- Teaching materials related to the Tamarin Prover☆71Aug 6, 2024Updated last year
- [Obsolete] Tamarin prover manual: source files☆25Updated this week
- Models for authenticated key exchange in Tamarin☆12Oct 9, 2019Updated 6 years ago
- TPM Remote Attestation protocol using go-tpm and gRPC☆28Dec 26, 2025Updated last month
- Container building stuff☆15Nov 7, 2025Updated 3 months ago
- Security model and verified implementation of QUIC packet encryption in Low*, built over EverCrypt and EverParse.☆13Aug 11, 2025Updated 6 months ago
- ☆14Aug 17, 2024Updated last year
- On the TOCTOU Problem in Remote Attestation☆15Jun 4, 2024Updated last year
- OP-TEE Trusted Applications vulnerable to memory corruption bugs.☆16Jul 3, 2020Updated 5 years ago
- SIDH C reference implementation☆13Jan 25, 2017Updated 9 years ago
- nMigen support for Xilinx Zynq devices☆15Nov 5, 2022Updated 3 years ago
- DEPRECATED: A C++ Elligator2 implementation☆15Apr 17, 2020Updated 5 years ago
- Implementation of zRA protocol, a non-interactive method for constructing a transparent remote attestation (RA) protocol based on zkSNARK…☆22Jun 27, 2025Updated 7 months ago
- This is a Tamarin model of TLS 1.3☆41Aug 19, 2023Updated 2 years ago
- An implementation of the DudeCT constant-time function tester☆25Sep 18, 2023Updated 2 years ago
- Remote attestation for Trusted and Confidential Computing platforms (TPM, AMD SEV-SNP, Intel SGX/TDX)☆20Updated this week
- ☆25Dec 4, 2022Updated 3 years ago
- Implementation of the signature scheme SQISign accompanying the paper "New algorithms for the Deuring correspondence - Towards practical …☆17May 17, 2024Updated last year
- DEciding Equivalence Properties in SECurity protocols☆20Mar 1, 2023Updated 2 years ago
- The formal proofs for iMessage PQ3 using the Tamarin Prover☆19Mar 18, 2025Updated 10 months ago
- 5G K-SimNet (5G Network Simulator)☆22Jul 19, 2019Updated 6 years ago
- The server part of the SafeKeeper project.☆18Jul 12, 2018Updated 7 years ago
- Setup and operation guide for OPTIGA™ TPM backed remote attestation on a Linux system☆22Mar 19, 2025Updated 10 months ago
- Package fourq implements FourQ, a high-speed elliptic curve at the 128-bit security level.☆54Oct 14, 2024Updated last year
- Specware consists of a formal specification language and tools for transformation and refinement to efficient implementations in CommonLi…☆24Feb 25, 2022Updated 3 years ago
- ☆28Mar 4, 2025Updated 11 months ago
- Tool to trace ARM Cortex-M assembly instructions and extract arguments to configuration APIs (supervisor calls or function calls).☆31Jan 17, 2022Updated 4 years ago
- An ISO7816 compliant Java Card PKI applet.☆29Dec 15, 2016Updated 9 years ago
- Create binary files described by human readable text files☆24Mar 4, 2021Updated 4 years ago
- Collection of resources on Confidential Computing☆31Feb 9, 2026Updated last week
- Examples for EasyCrypt Lectures☆28Jan 28, 2026Updated 2 weeks ago
- ☆26Nov 16, 2023Updated 2 years ago
- Proof-of-concept implementation of the "Challenge/Response Remote Attestation" interaction model of the IETF RATS Reference Interaction M…☆36Apr 5, 2025Updated 10 months ago
- This project is an implementation of the TCG TPM 2.0 specification. It is based on the TPM specification Parts 3 and 4 source code donate…☆32Dec 12, 2025Updated 2 months ago
- SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)☆27Feb 23, 2023Updated 2 years ago
- WaTZ: A Trusted WebAssembly Runtime Environment with Remote Attestation for TrustZone.☆32May 23, 2024Updated last year
- SCTP Load Balancer☆12Feb 9, 2026Updated last week
- ☆43Oct 20, 2025Updated 3 months ago