Analysis results

No.Theoryrelay_resistance
1C8_NoLocalAuth_NoCopyIAD_OnlinePIN_Lowfalsified - found trace (25 steps)
2C8_NoLocalAuth_NoCopyIAD_OnlinePIN_Highfalsified - found trace (25 steps)
3C8_NoLocalAuth_NoCopyIAD_ODCVM_Lowfalsified - found trace (16 steps)
4C8_NoLocalAuth_NoCopyIAD_ODCVM_Highfalsified - found trace (16 steps)
5C8_NoLocalAuth_NoCopyIAD_NoCVM_Lowfalsified - found trace (16 steps)
6C8_NoLocalAuth_NoCopyIAD_NoCVM_High-
7C8_NoLocalAuth_CopyIAD_OnlinePIN_Lowverified (271 steps)
8C8_NoLocalAuth_CopyIAD_OnlinePIN_Highverified (192 steps)
9C8_NoLocalAuth_CopyIAD_ODCVM_Lowfalsified - found trace (16 steps)
10C8_NoLocalAuth_CopyIAD_ODCVM_Highfalsified - found trace (16 steps)
11C8_NoLocalAuth_CopyIAD_NoCVM_Lowfalsified - found trace (16 steps)
12C8_NoLocalAuth_CopyIAD_NoCVM_High-
13C8_LocalAuth_NoCopyIAD_OnlinePIN_Lowverified (2249 steps)
14C8_LocalAuth_NoCopyIAD_OnlinePIN_Highverified (2140 steps)
15C8_LocalAuth_NoCopyIAD_ODCVM_Low-
16C8_LocalAuth_NoCopyIAD_ODCVM_High-
17C8_LocalAuth_NoCopyIAD_NoCVM_Low-
18C8_LocalAuth_NoCopyIAD_NoCVM_High-
19C8_LocalAuth_CopyIAD_OnlinePIN_Lowverified (271 steps)
20C8_LocalAuth_CopyIAD_OnlinePIN_Highverified (192 steps)
21C8_LocalAuth_CopyIAD_ODCVM_Low-
22C8_LocalAuth_CopyIAD_ODCVM_High-
23C8_LocalAuth_CopyIAD_NoCVM_Low-
24C8_LocalAuth_CopyIAD_NoCVM_High-

Summary

Protocols: total 24, verified 16

Latex code

\begin{tabular}{ l l l }
\hline
\bfseries No. & \bfseries Theory & \bfseries relay\_resistance\\
\hline
1 & C8\_NoLocalAuth\_NoCopyIAD\_OnlinePIN\_Low & \falsified{}\\
2 & C8\_NoLocalAuth\_NoCopyIAD\_OnlinePIN\_High & \falsified{}\\
3 & C8\_NoLocalAuth\_NoCopyIAD\_ODCVM\_Low & \falsified{}\\
4 & C8\_NoLocalAuth\_NoCopyIAD\_ODCVM\_High & \falsified{}\\
5 & C8\_NoLocalAuth\_NoCopyIAD\_NoCVM\_Low & \falsified{}\\
6 & \bfseries C8\_NoLocalAuth\_NoCopyIAD\_NoCVM\_High & \na{}\\
7 & \bfseries C8\_NoLocalAuth\_CopyIAD\_OnlinePIN\_Low & \verified{}\\
8 & \bfseries C8\_NoLocalAuth\_CopyIAD\_OnlinePIN\_High & \verified{}\\
9 & C8\_NoLocalAuth\_CopyIAD\_ODCVM\_Low & \falsified{}\\
10 & C8\_NoLocalAuth\_CopyIAD\_ODCVM\_High & \falsified{}\\
11 & C8\_NoLocalAuth\_CopyIAD\_NoCVM\_Low & \falsified{}\\
12 & \bfseries C8\_NoLocalAuth\_CopyIAD\_NoCVM\_High & \na{}\\
13 & \bfseries C8\_LocalAuth\_NoCopyIAD\_OnlinePIN\_Low & \verified{}\\
14 & \bfseries C8\_LocalAuth\_NoCopyIAD\_OnlinePIN\_High & \verified{}\\
15 & \bfseries C8\_LocalAuth\_NoCopyIAD\_ODCVM\_Low & \na{}\\
16 & \bfseries C8\_LocalAuth\_NoCopyIAD\_ODCVM\_High & \na{}\\
17 & \bfseries C8\_LocalAuth\_NoCopyIAD\_NoCVM\_Low & \na{}\\
18 & \bfseries C8\_LocalAuth\_NoCopyIAD\_NoCVM\_High & \na{}\\
19 & \bfseries C8\_LocalAuth\_CopyIAD\_OnlinePIN\_Low & \verified{}\\
20 & \bfseries C8\_LocalAuth\_CopyIAD\_OnlinePIN\_High & \verified{}\\
21 & \bfseries C8\_LocalAuth\_CopyIAD\_ODCVM\_Low & \na{}\\
22 & \bfseries C8\_LocalAuth\_CopyIAD\_ODCVM\_High & \na{}\\
23 & \bfseries C8\_LocalAuth\_CopyIAD\_NoCVM\_Low & \na{}\\
24 & \bfseries C8\_LocalAuth\_CopyIAD\_NoCVM\_High & \na{}\\
\hline
\end{tabular}