DNSSEC
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Formal Verification | DNSSEC Cache - Core Func. | Verification Time (h)1.1 | 4 | |
| Formal Verification | DNSSEC Denial Auth. - NSEC | Time (s)9.87 | 3 | |
| Formal Verification | DNSSEC Data Auth. & Integrity | Verification Time (h)10 | 3 | |
| Formal Verification | DNSSEC Cache - Liveness | Verification Time (min)27 | 2 | |
| Formal Verification | DNSSEC Cache Consistency | Verification Time (h)2.6 | 2 | |
| Formal Verification | DNSSEC Mixed NSEC NSEC3 | Verification Time (s)109 | 1 | |
| Formal Verification | DNSSEC Chain of Trust | Verification Time (h)17 | 1 | |
| Formal Verification | DNSSEC Denial Auth. - NSEC3 | Metric- | 0 |
Showing 8 of 8 rows