Formal Verification on DNSSEC Chain of Trust
17Verification Time (h)DNSSECVerif
Evaluation Results
| Method | Links | ||
|---|---|---|---|
| DNSSECVerifProperty Description=Chain Integrity, Cache=true, Tool=Tamarin2025.12 | 17 | — |
Loading the SOTA2 catalog…
| Method | Links | ||
|---|---|---|---|
| DNSSECVerifProperty Description=Chain Integrity, Cache=true, Tool=Tamarin2025.12 | 17 | — |