X-Git-Url: https://git.zerfleddert.de/cgi-bin/gitweb.cgi/proxmark3-svn/blobdiff_plain/8eea1dc2645de1d9067a3c17b4c2144832a95f4d..51b614aa75073617fa7f56196c3eef3e2145c786:/tools/mfkey/mfkey64.c?ds=inline

diff --git a/tools/mfkey/mfkey64.c b/tools/mfkey/mfkey64.c
index 43e077e5..1b002812 100755
--- a/tools/mfkey/mfkey64.c
+++ b/tools/mfkey/mfkey64.c
@@ -1,110 +1,101 @@
-#define __STDC_FORMAT_MACROS
-#include <inttypes.h>
-#define llx PRIx64
-#define lli PRIi64
-
-// Test-file: test2.c
-#include "crapto1.h"
 #include <stdio.h>
 #include <string.h>
+#include <inttypes.h>
+#include "crapto1/crapto1.h"
+#include "util.h"
 
-int main (int argc, char *argv[]) {
-  struct Crypto1State *revstate;
-  uint64_t key;     // recovered key
-  uint32_t uid;     // serial number
-  uint32_t nt;      // tag challenge
-  uint32_t nr_enc;  // encrypted reader challenge
-  uint32_t ar_enc;  // encrypted reader response
-  uint32_t at_enc;  // encrypted tag response
-  uint32_t ks2;     // keystream used to encrypt reader response
-  uint32_t ks3;     // keystream used to encrypt tag response
-
-  printf("MIFARE Classic key recovery - based 64 bits of keystream\n");
-  printf("Recover key from only one complete authentication!\n\n");
+int main (int argc, char *argv[]) 
+{
+	uint32_t uid;     // serial numDber
+	uint32_t nt;      // tag challenge
+	uint32_t nr_enc;  // encrypted reader challenge
+	uint32_t ar_enc;  // encrypted reader response
+	uint32_t at_enc;  // encrypted tag response
+	uint64_t key 	= 0;				// recovered key
+	struct Crypto1State *revstate;
+	uint32_t ks2;     					// keystream used to encrypt reader response
+	uint32_t ks3;     					// keystream used to encrypt tag response
 
-  if (argc < 6 ) {
-    printf(" syntax: %s <uid> <nt> <{nr}> <{ar}> <{at}> [enc] [enc...]\n\n", argv[0]);
-    return 1;
-  }
+	printf("MIFARE Classic key recovery - based on 64 bits of keystream\n");
+	printf("Recover key from only one complete authentication!\n\n");
 
-  int encc = argc - 6;
-  int enclen[encc];
-  uint8_t enc[encc][120]; 
+	if (argc < 6 ) {
+		printf(" syntax: %s <uid> <nt> <{nr}> <{ar}> <{at}> [enc] [enc...]\n\n", argv[0]);
+		return 1;
+	}
 
-  sscanf(argv[1], "%x", &uid);
-  sscanf(argv[2], "%x", &nt);
-  sscanf(argv[3], "%x", &nr_enc);
-  sscanf(argv[4], "%x", &ar_enc);
-  sscanf(argv[5], "%x", &at_enc);
-  for (int i = 0; i < encc; i++) {
-    enclen[i] = strlen(argv[i + 6]) / 2;
-    for (int i2 = 0; i2 < enclen[i]; i2++) {
-      sscanf(argv[i+6] + i2*2,"%2x", (uint8_t*)&enc[i][i2]);
-    }
-  }
-  printf("Recovering key for:\n");
+	int encc = argc - 6;
+	int enclen[encc];
+	uint8_t enc[encc][120]; 
 
-  printf("  uid: %08x\n", uid);
-  printf("   nt: %08x\n", nt);
-  printf(" {nr}: %08x\n", nr_enc);
-  printf(" {ar}: %08x\n", ar_enc);
-  printf(" {at}: %08x\n", at_enc);
-  for (int i = 0; i < encc; i++) {
-      printf("{enc%d}: ", i);
-      for (int i2 = 0; i2 < enclen[i]; i2++) {
-          printf("%02x", enc[i][i2]);
-      }
-      printf("\n");
-  }
+	sscanf(argv[1], "%x", &uid);
+	sscanf(argv[2], "%x", &nt);
+	sscanf(argv[3], "%x", &nr_enc);
+	sscanf(argv[4], "%x", &ar_enc);
+	sscanf(argv[5], "%x", &at_enc);
+	for (int i = 0; i < encc; i++) {
+		enclen[i] = strlen(argv[i + 6]) / 2;
+		for (int i2 = 0; i2 < enclen[i]; i2++) {
+			sscanf(argv[i+6] + i2*2,"%2x", (unsigned int*)&enc[i][i2]);
+		}
+	}
 
+	printf("Recovering key for:\n");
+	printf("   uid: %08x\n", uid);
+	printf("    nt: %08x\n", nt);
+	printf("  {nr}: %08x\n", nr_enc);
+	printf("  {ar}: %08x\n", ar_enc);
+	printf("  {at}: %08x\n", at_enc);
+	for (int i = 0; i < encc; i++) {
+		printf("{enc%d}: ", i);
+		for (int i2 = 0; i2 < enclen[i]; i2++) {
+			printf("%02x", enc[i][i2]);
+		}
+		printf("\n");
+	}
 
-  /*  
-  uint32_t uid                = 0x9c599b32;
-  uint32_t tag_challenge      = 0x82a4166c;
-  uint32_t nr_enc             = 0xa1e458ce;
-  uint32_t reader_response    = 0x6eea41e0;
-  uint32_t tag_response       = 0x5cadf439;
-*/
-  // Generate lfsr succesors of the tag challenge
-  printf("\nLFSR succesors of the tag challenge:\n");
-  printf("  nt': %08x\n",prng_successor(nt, 64));
-  printf(" nt'': %08x\n",prng_successor(nt, 96));
+	printf("\nLFSR successors of the tag challenge:\n");
+	printf("  nt' : %08x\n",prng_successor(nt, 64));
+	printf("  nt'': %08x\n",prng_successor(nt, 96));
 
-  // Extract the keystream from the messages
-  printf("\nKeystream used to generate {ar} and {at}:\n");
-  ks2 = ar_enc ^ prng_successor(nt, 64);
-  ks3 = at_enc ^ prng_successor(nt, 96);
-  printf("  ks2: %08x\n",ks2);
-  printf("  ks3: %08x\n",ks3);
+	// Extract the keystream from the messages
+	ks2 = ar_enc ^ prng_successor(nt, 64);
+	ks3 = at_enc ^ prng_successor(nt, 96);
+	
+	uint64_t start_time = msclock();
+	revstate = lfsr_recovery64(ks2, ks3);
+	uint64_t time_spent = msclock() - start_time;
+	printf("Time spent in lfsr_recovery64(): %1.2f seconds\n", (float)time_spent/1000.0);
+	printf("\nKeystream used to generate {ar} and {at}:\n");
+	printf("   ks2: %08x\n",ks2);
+	printf("   ks3: %08x\n",ks3);
 
-  revstate = lfsr_recovery64(ks2, ks3);
+	// Decrypting communication using keystream if presented
+	if (argc > 6 ) {
+	printf("\nDecrypted communication:\n");
+	uint8_t ks4; 
+	int rollb = 0;
+	for (int i = 0; i < encc; i++) {
+		printf("{dec%d}: ", i);
+		for (int i2 = 0; i2 < enclen[i]; i2++) {  
+			ks4 = crypto1_byte(revstate, 0, 0);
+			printf("%02x", ks4 ^ enc[i][i2]);
+			rollb += 1;
+		}
+		printf("\n");
+	}
+	for (int i = 0; i < rollb; i++) {
+		lfsr_rollback_byte(revstate, 0, 0);
+		}
+	}
 
-  // Decrypting communication using keystream if presented
-  if (argc > 6 ) {
-  printf("\nDecrypted communication:\n");
-  uint8_t ks4; 
-  int rollb = 0;
-  for (int i = 0; i < encc; i++) {
-    printf("{dec%d}: ", i);
-    for (int i2 = 0; i2 < enclen[i]; i2++) {  
-      ks4 = crypto1_byte(revstate, 0, 0);
-      printf("%02x", ks4 ^ enc[i][i2]);
-      rollb += 1;
-    }
-    printf("\n");
-  }
-  for (int i = 0; i < rollb; i++) {
-    lfsr_rollback_byte(revstate, 0, 0);
-    }
-  }
-  
-  lfsr_rollback_word(revstate, 0, 0);
-  lfsr_rollback_word(revstate, 0, 0);
-  lfsr_rollback_word(revstate, nr_enc, 1);
-  lfsr_rollback_word(revstate, uid ^ nt, 0);
-  crypto1_get_lfsr(revstate, &key);
-  printf("\nFound Key: [%012"llx"]\n\n",key);
-  crypto1_destroy(revstate);
+	lfsr_rollback_word(revstate, 0, 0);
+	lfsr_rollback_word(revstate, 0, 0);
+	lfsr_rollback_word(revstate, nr_enc, 1);
+	lfsr_rollback_word(revstate, uid ^ nt, 0);
+	crypto1_get_lfsr(revstate, &key);
+	crypto1_destroy(revstate);
 
-  return 0;
+	printf("\nFound Key: [%012" PRIx64"]\n\n",key);
+	
 }