]>
git.zerfleddert.de Git - proxmark3-svn/blob - tools/mfkey/mfkey32.c
1 #define __STDC_FORMAT_MACROS
8 int main (int argc
, char *argv
[]) {
9 struct Crypto1State
*s
,*t
;
10 uint64_t key
; // recovered key
11 uint32_t uid
; // serial number
12 uint32_t nt
; // tag challenge
13 uint32_t nr0_enc
; // first encrypted reader challenge
14 uint32_t ar0_enc
; // first encrypted reader response
15 uint32_t nr1_enc
; // second encrypted reader challenge
16 uint32_t ar1_enc
; // second encrypted reader response
17 uint32_t ks2
; // keystream used to encrypt reader response
19 printf("MIFARE Classic key recovery - based 32 bits of keystream\n");
20 printf("Recover key from two 32-bit reader authentication answers only!\n\n");
23 printf(" syntax: %s <uid> <nt> <nr_0> <ar_0> <nr_1> <ar_1>\n\n",argv
[0]);
27 sscanf(argv
[1],"%x",&uid
);
28 sscanf(argv
[2],"%x",&nt
);
29 sscanf(argv
[3],"%x",&nr0_enc
);
30 sscanf(argv
[4],"%x",&ar0_enc
);
31 sscanf(argv
[5],"%x",&nr1_enc
);
32 sscanf(argv
[6],"%x",&ar1_enc
);
34 printf("Recovering key for:\n");
35 printf(" uid: %08x\n",uid
);
36 printf(" nt: %08x\n",nt
);
37 printf(" {nr_0}: %08x\n",nr0_enc
);
38 printf(" {ar_0}: %08x\n",ar0_enc
);
39 printf(" {nr_1}: %08x\n",nr1_enc
);
40 printf(" {ar_1}: %08x\n",ar1_enc
);
42 // Generate lfsr succesors of the tag challenge
43 printf("\nLFSR succesors of the tag challenge:\n");
44 uint32_t p64
= prng_successor(nt
, 64);
45 printf(" nt': %08x\n", p64
);
46 printf(" nt'': %08x\n", prng_successor(p64
, 32));
50 // Extract the keystream from the messages
51 printf("\nKeystream used to generate {ar} and {at}:\n");
53 printf(" ks2: %08x\n", ks2
);
55 s
= lfsr_recovery32(ar0_enc
^ p64
, 0);
57 for(t
= s
; t
->odd
| t
->even
; ++t
) {
58 lfsr_rollback_word(t
, 0, 0);
59 lfsr_rollback_word(t
, nr0_enc
, 1);
60 lfsr_rollback_word(t
, uid
^ nt
, 0);
61 crypto1_get_lfsr(t
, &key
);
62 crypto1_word(t
, uid
^ nt
, 0);
63 crypto1_word(t
, nr1_enc
, 1);
64 if (ar1_enc
== (crypto1_word(t
, 0, 0) ^ p64
)) {
65 printf("\nFound Key: [%012" PRIx64
"]\n\n",key
);
70 if ( t1
> 0 ) printf("Time : %.0f ticks \n", (float)t1
);