SecIC3
Benchmarks
| Task Name | Dataset Name | SOTA Result | Trend | |
|---|---|---|---|---|
| Information Flow Verification | SecIC3 FP_MUL G12 | Runtime (s)9 | 9 | |
| Information Flow Verification | SecIC3 Rocket (G11) | Runtime (s)1.5 | 9 | |
| Information Flow Verification | SecIC3 - SecEnclave G10 | Runtime (seconds)2.1 | 9 | |
| Information Flow Verification | SecIC3 Sodor (G9) | Runtime (s)0.4 | 9 | |
| Information Flow Verification | SecIC3 Modexp (G8) | Runtime (seconds)0.4 | 9 | |
| Information Flow Verification | SecIC3 Multiplier (G7) | Runtime (s)0.1 | 9 | |
| Information Flow Verification | SecIC3 Cache (G6) | Runtime (seconds)16 | 9 | |
| Information Flow Verification | SecIC3 FP_DIV (G3) | Runtime (s)59 | 9 | |
| Information Flow Verification | SecIC3 FP_ADD (G2) | Runtime (s)13 | 9 | |
| Information Flow Verification | SecIC3 GCD (G1) | Runtime (s)1.3 | 9 |
Showing 10 of 10 rows