No. | Theory | auth_to_terminal_minimal | auth_to_issuer_minimal |
---|---|---|---|
1 | C8_NoLocalAuth_NoCopyIAD_OnlinePIN_Low | falsified - found trace (18 steps) | falsified - found trace (20 steps) |
2 | C8_NoLocalAuth_NoCopyIAD_OnlinePIN_High | falsified - found trace (18 steps) | falsified - found trace (19 steps) |
3 | C8_NoLocalAuth_NoCopyIAD_ODCVM_Low | falsified - found trace (17 steps) | falsified - found trace (20 steps) |
4 | C8_NoLocalAuth_NoCopyIAD_ODCVM_High | falsified - found trace (17 steps) | falsified - found trace (19 steps) |
5 | C8_NoLocalAuth_NoCopyIAD_NoCVM_Low | falsified - found trace (18 steps) | falsified - found trace (20 steps) |
6 | C8_NoLocalAuth_NoCopyIAD_NoCVM_High | - | - |
7 | C8_NoLocalAuth_CopyIAD_OnlinePIN_Low | verified (52 steps) | verified (136 steps) |
8 | C8_NoLocalAuth_CopyIAD_OnlinePIN_High | verified (52 steps) | verified (74 steps) |
9 | C8_NoLocalAuth_CopyIAD_ODCVM_Low | verified (46 steps) | verified (136 steps) |
10 | C8_NoLocalAuth_CopyIAD_ODCVM_High | verified (46 steps) | verified (74 steps) |
11 | C8_NoLocalAuth_CopyIAD_NoCVM_Low | verified (86 steps) | verified (136 steps) |
12 | C8_NoLocalAuth_CopyIAD_NoCVM_High | - | - |
13 | C8_LocalAuth_NoCopyIAD_OnlinePIN_Low | verified (2149 steps) | verified (1408 steps) |
14 | C8_LocalAuth_NoCopyIAD_OnlinePIN_High | verified (2149 steps) | verified (580 steps) |
15 | C8_LocalAuth_NoCopyIAD_ODCVM_Low | verified (2143 steps) | verified (1408 steps) |
16 | C8_LocalAuth_NoCopyIAD_ODCVM_High | verified (2143 steps) | verified (580 steps) |
17 | C8_LocalAuth_NoCopyIAD_NoCVM_Low | verified (6128 steps) | verified (1408 steps) |
18 | C8_LocalAuth_NoCopyIAD_NoCVM_High | - | - |
19 | C8_LocalAuth_CopyIAD_OnlinePIN_Low | verified (102 steps) | verified (136 steps) |
20 | C8_LocalAuth_CopyIAD_OnlinePIN_High | verified (102 steps) | verified (74 steps) |
21 | C8_LocalAuth_CopyIAD_ODCVM_Low | verified (96 steps) | verified (136 steps) |
22 | C8_LocalAuth_CopyIAD_ODCVM_High | verified (96 steps) | verified (74 steps) |
23 | C8_LocalAuth_CopyIAD_NoCVM_Low | verified (126 steps) | verified (136 steps) |
24 | C8_LocalAuth_CopyIAD_NoCVM_High | - | - |
Protocols: total 24, verified 19