Analysis results

No.Theoryrelay_resistance
1C8_NoLocalAuth_NoCopyIAD_OnlinePIN_Lowfalsified - found trace (24 steps)
2C8_NoLocalAuth_NoCopyIAD_OnlinePIN_Highfalsified - found trace (24 steps)
3C8_NoLocalAuth_NoCopyIAD_ODCVM_Lowfalsified - found trace (22 steps)
4C8_NoLocalAuth_NoCopyIAD_ODCVM_Highfalsified - found trace (22 steps)
5C8_NoLocalAuth_NoCopyIAD_NoCVM_Lowfalsified - found trace (23 steps)
6C8_NoLocalAuth_NoCopyIAD_NoCVM_High-
7C8_NoLocalAuth_CopyIAD_OnlinePIN_Lowverified (269 steps)
8C8_NoLocalAuth_CopyIAD_OnlinePIN_Highverified (190 steps)
9C8_NoLocalAuth_CopyIAD_ODCVM_Lowverified (269 steps)
10C8_NoLocalAuth_CopyIAD_ODCVM_Highverified (190 steps)
11C8_NoLocalAuth_CopyIAD_NoCVM_Lowverified (397 steps)
12C8_NoLocalAuth_CopyIAD_NoCVM_High-
13C8_LocalAuth_NoCopyIAD_OnlinePIN_Lowverified (2247 steps)
14C8_LocalAuth_NoCopyIAD_OnlinePIN_Highverified (2138 steps)
15C8_LocalAuth_NoCopyIAD_ODCVM_Lowverified (2271 steps)
16C8_LocalAuth_NoCopyIAD_ODCVM_Highverified (2162 steps)
17C8_LocalAuth_NoCopyIAD_NoCVM_Lowverified (6327 steps)
18C8_LocalAuth_NoCopyIAD_NoCVM_High-
19C8_LocalAuth_CopyIAD_OnlinePIN_Lowverified (269 steps)
20C8_LocalAuth_CopyIAD_OnlinePIN_Highverified (190 steps)
21C8_LocalAuth_CopyIAD_ODCVM_Lowverified (269 steps)
22C8_LocalAuth_CopyIAD_ODCVM_Highverified (190 steps)
23C8_LocalAuth_CopyIAD_NoCVM_Lowverified (397 steps)
24C8_LocalAuth_CopyIAD_NoCVM_High-

Summary

Protocols: total 24, verified 19

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 & \bfseries C8\_NoLocalAuth\_CopyIAD\_ODCVM\_Low & \verified{}\\
10 & \bfseries C8\_NoLocalAuth\_CopyIAD\_ODCVM\_High & \verified{}\\
11 & \bfseries C8\_NoLocalAuth\_CopyIAD\_NoCVM\_Low & \verified{}\\
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 & \verified{}\\
16 & \bfseries C8\_LocalAuth\_NoCopyIAD\_ODCVM\_High & \verified{}\\
17 & \bfseries C8\_LocalAuth\_NoCopyIAD\_NoCVM\_Low & \verified{}\\
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 & \verified{}\\
22 & \bfseries C8\_LocalAuth\_CopyIAD\_ODCVM\_High & \verified{}\\
23 & \bfseries C8\_LocalAuth\_CopyIAD\_NoCVM\_Low & \verified{}\\
24 & \bfseries C8\_LocalAuth\_CopyIAD\_NoCVM\_High & \na{}\\
\hline
\end{tabular}