Speedup Mifare Plus Attack v1

This commit is contained in:
Gabriele Gristina 2016-10-18 01:21:56 +02:00
commit 057d2e9147

View file

@ -132,6 +132,9 @@ static partial_indexed_statelist_t partial_statelist[17];
static partial_indexed_statelist_t statelist_bitflip; static partial_indexed_statelist_t statelist_bitflip;
static statelist_t *candidates = NULL; static statelist_t *candidates = NULL;
static bool generate_candidates(uint16_t, uint16_t);
static bool brute_force(void);
static int add_nonce(uint32_t nonce_enc, uint8_t par_enc) static int add_nonce(uint32_t nonce_enc, uint8_t par_enc)
{ {
uint8_t first_byte = nonce_enc >> 24; uint8_t first_byte = nonce_enc >> 24;
@ -764,6 +767,7 @@ static int acquire_nonces(uint8_t blockNo, uint8_t keyType, uint8_t *key, uint8_
uint32_t total_num_nonces = 0; uint32_t total_num_nonces = 0;
uint32_t next_fivehundred = 500; uint32_t next_fivehundred = 500;
uint32_t total_added_nonces = 0; uint32_t total_added_nonces = 0;
uint32_t idx = 1;
FILE *fnonces = NULL; FILE *fnonces = NULL;
UsbCommand resp; UsbCommand resp;
@ -841,10 +845,23 @@ static int acquire_nonces(uint8_t blockNo, uint8_t keyType, uint8_t *key, uint8_
total_added_nonces, total_added_nonces,
CONFIDENCE_THRESHOLD * 100.0, CONFIDENCE_THRESHOLD * 100.0,
num_good_first_bytes); num_good_first_bytes);
if (total_added_nonces > (2500*idx)) {
clock_t time1 = clock();
field_off = generate_candidates(first_byte_Sum, nonces[best_first_bytes[0]].Sum8_guess);
time1 = clock() - time1;
if ( time1 > 0 ) PrintAndLog("Time for generating key candidates list: %1.0f seconds", ((float)time1)/CLOCKS_PER_SEC);
if (known_target_key != -1) brute_force();
idx++;
}
} }
if (num_good_first_bytes >= GOOD_BYTES_REQUIRED) { if (num_good_first_bytes >= GOOD_BYTES_REQUIRED) {
field_off = true; // switch off field with next SendCommand and then finish field_off = true; // switch off field with next SendCommand and then finish
} }
if (field_off) {
field_off = finished = brute_force();
}
} }
if (!initialize) { if (!initialize) {
@ -1215,7 +1232,7 @@ static statelist_t *add_more_candidates(statelist_t *current_candidates)
return new_candidates; return new_candidates;
} }
static void TestIfKeyExists(uint64_t key) static bool TestIfKeyExists(uint64_t key)
{ {
struct Crypto1State *pcs; struct Crypto1State *pcs;
pcs = crypto1_create(key); pcs = crypto1_create(key);
@ -1256,7 +1273,7 @@ static void TestIfKeyExists(uint64_t key)
fprintf(fstats, "1\n"); fprintf(fstats, "1\n");
} }
crypto1_destroy(pcs); crypto1_destroy(pcs);
return; return true;
} }
} }
@ -1265,9 +1282,11 @@ static void TestIfKeyExists(uint64_t key)
fprintf(fstats, "0\n"); fprintf(fstats, "0\n");
} }
crypto1_destroy(pcs); crypto1_destroy(pcs);
return false;
} }
static void generate_candidates(uint16_t sum_a0, uint16_t sum_a8) static bool generate_candidates(uint16_t sum_a0, uint16_t sum_a8)
{ {
printf("Generating crypto1 state candidates... \n"); printf("Generating crypto1 state candidates... \n");
@ -1281,6 +1300,7 @@ static void generate_candidates(uint16_t sum_a0, uint16_t sum_a8)
} }
} }
} }
printf("Number of possible keys with Sum(a0) = %d: %"PRIu64" (2^%1.1f)\n", sum_a0, maximum_states, log(maximum_states)/log(2.0)); printf("Number of possible keys with Sum(a0) = %d: %"PRIu64" (2^%1.1f)\n", sum_a0, maximum_states, log(maximum_states)/log(2.0));
init_statelist_cache(); init_statelist_cache();
@ -1325,19 +1345,22 @@ static void generate_candidates(uint16_t sum_a0, uint16_t sum_a8)
} }
} }
maximum_states = 0; maximum_states = 0;
for (statelist_t *sl = candidates; sl != NULL; sl = sl->next) { for (statelist_t *sl = candidates; sl != NULL; sl = sl->next) {
maximum_states += (uint64_t)sl->len[ODD_STATE] * sl->len[EVEN_STATE]; maximum_states += (uint64_t)sl->len[ODD_STATE] * sl->len[EVEN_STATE];
} }
printf("Number of remaining possible keys: %"PRIu64" (2^%1.1f)\n", maximum_states, log(maximum_states)/log(2.0)); float kcalc = log(maximum_states)/log(2.0);
printf("Number of remaining possible keys: %"PRIu64" (2^%1.1f)\n", maximum_states, kcalc);
if (write_stats) { if (write_stats) {
if (maximum_states != 0) { if (maximum_states != 0) {
fprintf(fstats, "%1.1f;", log(maximum_states)/log(2.0)); fprintf(fstats, "%1.1f;", kcalc);
} else { } else {
fprintf(fstats, "%1.1f;", 0.0); fprintf(fstats, "%1.1f;", 0.0);
} }
} }
if (kcalc < 39.00f) return true;
return false;
} }
static void free_candidates_memory(statelist_t *sl) static void free_candidates_memory(statelist_t *sl)
@ -1474,7 +1497,7 @@ static const uint64_t crack_states_bitsliced(statelist_t *p){
const bitslice_value_t odd_feedback = odd_feedback_bit ? bs_ones.value : bs_zeroes.value; const bitslice_value_t odd_feedback = odd_feedback_bit ? bs_ones.value : bs_zeroes.value;
for(size_t block_idx = 0; block_idx < bitsliced_blocks; ++block_idx){ for(size_t block_idx = 0; block_idx < bitsliced_blocks; ++block_idx){
const bitslice_t const * restrict bitsliced_even_state = bitsliced_even_states[block_idx]; bitslice_t const * restrict bitsliced_even_state = bitsliced_even_states[block_idx];
size_t state_idx; size_t state_idx;
// set even bits // set even bits
for(state_idx = 0; state_idx < STATE_SIZE-ROLLBACK_SIZE; state_idx+=2){ for(state_idx = 0; state_idx < STATE_SIZE-ROLLBACK_SIZE; state_idx+=2){
@ -1630,11 +1653,12 @@ static void* crack_states_thread(void* x){
return NULL; return NULL;
} }
static void brute_force(void) static bool brute_force(void)
{ {
bool ret = false;
if (known_target_key != -1) { if (known_target_key != -1) {
PrintAndLog("Looking for known target key in remaining key space..."); PrintAndLog("Looking for known target key in remaining key space...");
TestIfKeyExists(known_target_key); ret = TestIfKeyExists(known_target_key);
} else { } else {
PrintAndLog("Brute force phase starting."); PrintAndLog("Brute force phase starting.");
time_t start, end; time_t start, end;
@ -1691,12 +1715,22 @@ static void brute_force(void)
if(keys_found){ if(keys_found){
PrintAndLog("Success! Tested %"PRIu32" states, found %u keys after %.f seconds", total_states_tested, keys_found, elapsed_time); PrintAndLog("Success! Tested %"PRIu32" states, found %u keys after %.f seconds", total_states_tested, keys_found, elapsed_time);
PrintAndLog("\nFound key: %012"PRIx64"\n", foundkey); PrintAndLog("\nFound key: %012"PRIx64"\n", foundkey);
known_target_key = foundkey;
ret = TestIfKeyExists(known_target_key);
PrintAndLog("Check if key is found in the keyspace: %d", ret);
ret = true;
} else { } else {
PrintAndLog("Fail! Tested %"PRIu32" states, in %.f seconds", total_states_tested, elapsed_time); PrintAndLog("Fail! Tested %"PRIu32" states, in %.f seconds", total_states_tested, elapsed_time);
} }
// reset this counter for the next call // reset this counter for the next call
nonces_to_bruteforce = 0; nonces_to_bruteforce = 0;
} }
return ret;
} }
int mfnestedhard(uint8_t blockNo, uint8_t keyType, uint8_t *key, uint8_t trgBlockNo, uint8_t trgKeyType, uint8_t *trgkey, bool nonce_file_read, bool nonce_file_write, bool slow, int tests) int mfnestedhard(uint8_t blockNo, uint8_t keyType, uint8_t *key, uint8_t trgBlockNo, uint8_t trgKeyType, uint8_t *trgkey, bool nonce_file_read, bool nonce_file_write, bool slow, int tests)
@ -1767,15 +1801,16 @@ int mfnestedhard(uint8_t blockNo, uint8_t keyType, uint8_t *key, uint8_t trgBloc
// best_first_bytes[7], // best_first_bytes[7],
// best_first_bytes[8], // best_first_bytes[8],
// best_first_bytes[9] ); // best_first_bytes[9] );
PrintAndLog("Number of first bytes with confidence > %2.1f%%: %d", CONFIDENCE_THRESHOLD*100.0, num_good_first_bytes);
clock_t time1 = clock(); //PrintAndLog("Number of first bytes with confidence > %2.1f%%: %d", CONFIDENCE_THRESHOLD*100.0, num_good_first_bytes);
generate_candidates(first_byte_Sum, nonces[best_first_bytes[0]].Sum8_guess);
time1 = clock() - time1;
if ( time1 > 0 )
PrintAndLog("Time for generating key candidates list: %1.0f seconds", ((float)time1)/CLOCKS_PER_SEC);
brute_force(); //clock_t time1 = clock();
//generate_candidates(first_byte_Sum, nonces[best_first_bytes[0]].Sum8_guess);
//time1 = clock() - time1;
//if ( time1 > 0 )
//PrintAndLog("Time for generating key candidates list: %1.0f seconds", ((float)time1)/CLOCKS_PER_SEC);
//brute_force();
free_nonces_memory(); free_nonces_memory();
free_statelist_cache(); free_statelist_cache();