Projects in Awesome Lists tagged with tamarin-prover
A curated list of projects in awesome lists tagged with tamarin-prover .
https://github.com/OSUSecLab/SGX-Enclave-Formal-Verification
Tamarin models for state continuity of SGX enclave programs
formal-models intel-sgx tamarin-prover
Last synced: 20 Apr 2025
https://github.com/darrenldl/tamarin-prover-container
Dockerfile for Tamarin prover
Last synced: 16 May 2025
