REPROSEC / dolev-yao-star
DY*: A Modular Symbolic Verification Framework for Executable Cryptographic Protocol Code
☆13Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for dolev-yao-star
- Teaching materials related to the Tamarin Prover☆63Updated 3 months ago
- Crypto library☆52Updated last month
- Differential Address Trace Analysis☆54Updated 7 months ago
- ☆39Updated 5 months ago
- A Dolev-Yao-model-guided fuzzer for TLS☆135Updated this week
- A Course in Cryptanalysis☆132Updated last month
- This is a Tamarin model of TLS 1.3☆31Updated last year
- This tool set can generate SECCOMP profiles for Docker images. It mainly relies on static analysis, making its results more reliable than…☆62Updated 2 years ago
- The public release of LeftoverLocals code☆64Updated 10 months ago
- ☆35Updated 7 years ago
- Pin-Based Constant Execution Checker (Pin-based CEC)☆15Updated this week
- ☆127Updated this week
- A taxonomy of attacks on software supply chains in the form of an attack tree, based on and linked to numerous real-world incidents and o…☆71Updated 3 weeks ago
- Formal specification of attestation mechanisms in Confidential Computing☆14Updated 2 months ago
- Building Distributed Enclave Applications with Sancus and SGX☆13Updated 3 years ago
- A repository of tools for verifying constant-timeness☆12Updated 2 months ago
- A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes☆46Updated last year
- An interactive notebook for understanding the relation between mutual information, perceived and hypothetical information☆11Updated 4 years ago
- A Tool for the Static Analysis of Cache Side Channels☆39Updated 7 years ago
- ☆29Updated 7 months ago
- Crypto Audit Guidelines☆132Updated 3 years ago
- This provides a library for interacting with the Nitro Secure Module, which provides Nitro Enclaves with attestation capability.☆67Updated 5 months ago
- Python Elliptic Curve Side-Channel Analysis toolkit.☆56Updated 2 months ago
- A tool/framework for analyzing hostname verification in SSL/TLS implementations using automata learning☆21Updated 7 years ago
- Please see https://github.com/hacspec/hax☆243Updated 9 months ago
- Intuitive Quantum Computation and Post-Quantum Cryptography☆62Updated 2 years ago
- wassail (WebAssembly static analyzer and inspection library) is a toolkit to perform both lightweight and heavyweight static analysis of …☆48Updated 9 months ago
- This repo tracks a compatible state of all sev step components and contains script to easily install everything required to setup a sev v…☆31Updated 9 months ago
- A tool that can be used to learn state machines from implementations.☆63Updated 3 years ago
- SCALE: Side-Channel Attack Lab. Exercises☆41Updated last year