1 //-----------------------------------------------------------------------------
3 // Gerhard de Koning Gans - May 2008
4 // Hagen Fritsch - June 2010
6 // This code is licensed to you under the terms of the GNU GPL, version 2 or,
7 // at your option, any later version. See the LICENSE.txt file for the text of
9 //-----------------------------------------------------------------------------
10 // Routines to support ISO 14443 type A.
11 //-----------------------------------------------------------------------------
13 #include "proxmark3.h"
18 #include "iso14443crc.h"
19 #include "iso14443a.h"
21 #include "mifareutil.h"
23 static uint32_t iso14a_timeout
;
24 uint8_t *trace
= (uint8_t *) BigBuf
;
30 // CARD TO READER - manchester
31 // Sequence D: 11110000 modulation with subcarrier during first half
32 // Sequence E: 00001111 modulation with subcarrier during second half
33 // Sequence F: 00000000 no modulation with subcarrier
34 // READER TO CARD - miller
35 // Sequence X: 00001100 drop after half a period
36 // Sequence Y: 00000000 no drop
37 // Sequence Z: 11000000 drop at start
45 const uint8_t OddByteParity
[256] = {
46 1, 0, 0, 1, 0, 1, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1,
47 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 0, 1, 0, 1, 1, 0,
48 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 0, 1, 0, 1, 1, 0,
49 1, 0, 0, 1, 0, 1, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1,
50 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 0, 1, 0, 1, 1, 0,
51 1, 0, 0, 1, 0, 1, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1,
52 1, 0, 0, 1, 0, 1, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1,
53 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 0, 1, 0, 1, 1, 0,
54 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 0, 1, 0, 1, 1, 0,
55 1, 0, 0, 1, 0, 1, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1,
56 1, 0, 0, 1, 0, 1, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1,
57 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 0, 1, 0, 1, 1, 0,
58 1, 0, 0, 1, 0, 1, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1,
59 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 0, 1, 0, 1, 1, 0,
60 0, 1, 1, 0, 1, 0, 0, 1, 1, 0, 0, 1, 0, 1, 1, 0,
61 1, 0, 0, 1, 0, 1, 1, 0, 0, 1, 1, 0, 1, 0, 0, 1
65 void iso14a_set_trigger(int enable
) {
69 void iso14a_clear_tracelen(void) {
72 void iso14a_set_tracing(int enable
) {
76 //-----------------------------------------------------------------------------
77 // Generate the parity value for a byte sequence
79 //-----------------------------------------------------------------------------
80 byte_t
oddparity (const byte_t bt
)
82 return OddByteParity
[bt
];
85 uint32_t GetParity(const uint8_t * pbtCmd
, int iLen
)
90 // Generate the encrypted data
91 for (i
= 0; i
< iLen
; i
++) {
92 // Save the encrypted parity bit
93 dwPar
|= ((OddByteParity
[pbtCmd
[i
]]) << i
);
98 void AppendCrc14443a(uint8_t* data
, int len
)
100 ComputeCrc14443(CRC_14443_A
,data
,len
,data
+len
,data
+len
+1);
103 // The function LogTrace() is also used by the iClass implementation in iClass.c
104 int LogTrace(const uint8_t * btBytes
, int iLen
, int iSamples
, uint32_t dwParity
, int bReader
)
106 // Return when trace is full
107 if (traceLen
>= TRACE_SIZE
) return FALSE
;
109 // Trace the random, i'm curious
110 rsamples
+= iSamples
;
111 trace
[traceLen
++] = ((rsamples
>> 0) & 0xff);
112 trace
[traceLen
++] = ((rsamples
>> 8) & 0xff);
113 trace
[traceLen
++] = ((rsamples
>> 16) & 0xff);
114 trace
[traceLen
++] = ((rsamples
>> 24) & 0xff);
116 trace
[traceLen
- 1] |= 0x80;
118 trace
[traceLen
++] = ((dwParity
>> 0) & 0xff);
119 trace
[traceLen
++] = ((dwParity
>> 8) & 0xff);
120 trace
[traceLen
++] = ((dwParity
>> 16) & 0xff);
121 trace
[traceLen
++] = ((dwParity
>> 24) & 0xff);
122 trace
[traceLen
++] = iLen
;
123 memcpy(trace
+ traceLen
, btBytes
, iLen
);
128 //-----------------------------------------------------------------------------
129 // The software UART that receives commands from the reader, and its state
131 //-----------------------------------------------------------------------------
135 STATE_START_OF_COMMUNICATION
,
159 static RAMFUNC
int MillerDecoding(int bit
)
164 if(!Uart
.bitBuffer
) {
165 Uart
.bitBuffer
= bit
^ 0xFF0;
169 Uart
.bitBuffer
<<= 4;
170 Uart
.bitBuffer
^= bit
;
175 if(Uart
.state
!= STATE_UNSYNCD
) {
178 if((Uart
.bitBuffer
& Uart
.syncBit
) ^ Uart
.syncBit
) {
184 if(((Uart
.bitBuffer
<< 1) & Uart
.syncBit
) ^ Uart
.syncBit
) {
190 if(bit
!= bitright
) { bit
= bitright
; }
192 if(Uart
.posCnt
== 1) {
193 // measurement first half bitperiod
195 Uart
.drop
= DROP_FIRST_HALF
;
199 // measurement second half bitperiod
200 if(!bit
& (Uart
.drop
== DROP_NONE
)) {
201 Uart
.drop
= DROP_SECOND_HALF
;
204 // measured a drop in first and second half
205 // which should not be possible
206 Uart
.state
= STATE_ERROR_WAIT
;
213 case STATE_START_OF_COMMUNICATION
:
215 if(Uart
.drop
== DROP_SECOND_HALF
) {
216 // error, should not happen in SOC
217 Uart
.state
= STATE_ERROR_WAIT
;
222 Uart
.state
= STATE_MILLER_Z
;
229 if(Uart
.drop
== DROP_NONE
) {
230 // logic '0' followed by sequence Y
231 // end of communication
232 Uart
.state
= STATE_UNSYNCD
;
235 // if(Uart.drop == DROP_FIRST_HALF) {
236 // Uart.state = STATE_MILLER_Z; stay the same
237 // we see a logic '0' }
238 if(Uart
.drop
== DROP_SECOND_HALF
) {
239 // we see a logic '1'
240 Uart
.shiftReg
|= 0x100;
241 Uart
.state
= STATE_MILLER_X
;
247 if(Uart
.drop
== DROP_NONE
) {
248 // sequence Y, we see a '0'
249 Uart
.state
= STATE_MILLER_Y
;
252 if(Uart
.drop
== DROP_FIRST_HALF
) {
253 // Would be STATE_MILLER_Z
254 // but Z does not follow X, so error
255 Uart
.state
= STATE_ERROR_WAIT
;
258 if(Uart
.drop
== DROP_SECOND_HALF
) {
259 // We see a '1' and stay in state X
260 Uart
.shiftReg
|= 0x100;
268 if(Uart
.drop
== DROP_NONE
) {
269 // logic '0' followed by sequence Y
270 // end of communication
271 Uart
.state
= STATE_UNSYNCD
;
274 if(Uart
.drop
== DROP_FIRST_HALF
) {
276 Uart
.state
= STATE_MILLER_Z
;
278 if(Uart
.drop
== DROP_SECOND_HALF
) {
279 // We see a '1' and go to state X
280 Uart
.shiftReg
|= 0x100;
281 Uart
.state
= STATE_MILLER_X
;
285 case STATE_ERROR_WAIT
:
286 // That went wrong. Now wait for at least two bit periods
287 // and try to sync again
288 if(Uart
.drop
== DROP_NONE
) {
290 Uart
.state
= STATE_UNSYNCD
;
295 Uart
.state
= STATE_UNSYNCD
;
300 Uart
.drop
= DROP_NONE
;
302 // should have received at least one whole byte...
303 if((Uart
.bitCnt
== 2) && EOC
&& (Uart
.byteCnt
> 0)) {
307 if(Uart
.bitCnt
== 9) {
308 Uart
.output
[Uart
.byteCnt
] = (Uart
.shiftReg
& 0xff);
311 Uart
.parityBits
<<= 1;
312 Uart
.parityBits
^= ((Uart
.shiftReg
>> 8) & 0x01);
315 // when End of Communication received and
316 // all data bits processed..
323 Uart.output[Uart.byteCnt] = 0xAA;
325 Uart.output[Uart.byteCnt] = error & 0xFF;
327 Uart.output[Uart.byteCnt] = 0xAA;
329 Uart.output[Uart.byteCnt] = (Uart.bitBuffer >> 8) & 0xFF;
331 Uart.output[Uart.byteCnt] = Uart.bitBuffer & 0xFF;
333 Uart.output[Uart.byteCnt] = (Uart.syncBit >> 3) & 0xFF;
335 Uart.output[Uart.byteCnt] = 0xAA;
343 bit
= Uart
.bitBuffer
& 0xf0;
347 // should have been high or at least (4 * 128) / fc
348 // according to ISO this should be at least (9 * 128 + 20) / fc
349 if(Uart
.highCnt
== 8) {
350 // we went low, so this could be start of communication
351 // it turns out to be safer to choose a less significant
352 // syncbit... so we check whether the neighbour also represents the drop
353 Uart
.posCnt
= 1; // apparently we are busy with our first half bit period
354 Uart
.syncBit
= bit
& 8;
356 if(!Uart
.syncBit
) { Uart
.syncBit
= bit
& 4; Uart
.samples
= 2; }
357 else if(bit
& 4) { Uart
.syncBit
= bit
& 4; Uart
.samples
= 2; bit
<<= 2; }
358 if(!Uart
.syncBit
) { Uart
.syncBit
= bit
& 2; Uart
.samples
= 1; }
359 else if(bit
& 2) { Uart
.syncBit
= bit
& 2; Uart
.samples
= 1; bit
<<= 1; }
360 if(!Uart
.syncBit
) { Uart
.syncBit
= bit
& 1; Uart
.samples
= 0;
361 if(Uart
.syncBit
&& (Uart
.bitBuffer
& 8)) {
364 // the first half bit period is expected in next sample
369 else if(bit
& 1) { Uart
.syncBit
= bit
& 1; Uart
.samples
= 0; }
372 Uart
.state
= STATE_START_OF_COMMUNICATION
;
373 Uart
.drop
= DROP_FIRST_HALF
;
384 if(Uart
.highCnt
< 8) {
393 //=============================================================================
394 // ISO 14443 Type A - Manchester
395 //=============================================================================
400 DEMOD_START_OF_COMMUNICATION
,
423 static RAMFUNC
int ManchesterDecoding(int v
)
439 if(Demod
.state
==DEMOD_UNSYNCD
) {
440 Demod
.output
[Demod
.len
] = 0xfa;
443 Demod
.posCount
= 1; // This is the first half bit period, so after syncing handle the second part
446 Demod
.syncBit
= 0x08;
453 Demod
.syncBit
= 0x04;
460 Demod
.syncBit
= 0x02;
463 if(bit
& 0x01 && Demod
.syncBit
) {
464 Demod
.syncBit
= 0x01;
469 Demod
.state
= DEMOD_START_OF_COMMUNICATION
;
470 Demod
.sub
= SUB_FIRST_HALF
;
473 Demod
.parityBits
= 0;
476 if(trigger
) LED_A_OFF();
477 switch(Demod
.syncBit
) {
478 case 0x08: Demod
.samples
= 3; break;
479 case 0x04: Demod
.samples
= 2; break;
480 case 0x02: Demod
.samples
= 1; break;
481 case 0x01: Demod
.samples
= 0; break;
488 //modulation = bit & Demod.syncBit;
489 modulation
= ((bit
<< 1) ^ ((Demod
.buffer
& 0x08) >> 3)) & Demod
.syncBit
;
493 if(Demod
.posCount
==0) {
496 Demod
.sub
= SUB_FIRST_HALF
;
499 Demod
.sub
= SUB_NONE
;
504 if(modulation
&& (Demod
.sub
== SUB_FIRST_HALF
)) {
505 if(Demod
.state
!=DEMOD_ERROR_WAIT
) {
506 Demod
.state
= DEMOD_ERROR_WAIT
;
507 Demod
.output
[Demod
.len
] = 0xaa;
511 else if(modulation
) {
512 Demod
.sub
= SUB_SECOND_HALF
;
515 switch(Demod
.state
) {
516 case DEMOD_START_OF_COMMUNICATION
:
517 if(Demod
.sub
== SUB_FIRST_HALF
) {
518 Demod
.state
= DEMOD_MANCHESTER_D
;
521 Demod
.output
[Demod
.len
] = 0xab;
522 Demod
.state
= DEMOD_ERROR_WAIT
;
527 case DEMOD_MANCHESTER_D
:
528 case DEMOD_MANCHESTER_E
:
529 if(Demod
.sub
== SUB_FIRST_HALF
) {
531 Demod
.shiftReg
= (Demod
.shiftReg
>> 1) ^ 0x100;
532 Demod
.state
= DEMOD_MANCHESTER_D
;
534 else if(Demod
.sub
== SUB_SECOND_HALF
) {
536 Demod
.shiftReg
>>= 1;
537 Demod
.state
= DEMOD_MANCHESTER_E
;
540 Demod
.state
= DEMOD_MANCHESTER_F
;
544 case DEMOD_MANCHESTER_F
:
545 // Tag response does not need to be a complete byte!
546 if(Demod
.len
> 0 || Demod
.bitCount
> 0) {
547 if(Demod
.bitCount
> 0) {
548 Demod
.shiftReg
>>= (9 - Demod
.bitCount
);
549 Demod
.output
[Demod
.len
] = Demod
.shiftReg
& 0xff;
551 // No parity bit, so just shift a 0
552 Demod
.parityBits
<<= 1;
555 Demod
.state
= DEMOD_UNSYNCD
;
559 Demod
.output
[Demod
.len
] = 0xad;
560 Demod
.state
= DEMOD_ERROR_WAIT
;
565 case DEMOD_ERROR_WAIT
:
566 Demod
.state
= DEMOD_UNSYNCD
;
570 Demod
.output
[Demod
.len
] = 0xdd;
571 Demod
.state
= DEMOD_UNSYNCD
;
575 if(Demod
.bitCount
>=9) {
576 Demod
.output
[Demod
.len
] = Demod
.shiftReg
& 0xff;
579 Demod
.parityBits
<<= 1;
580 Demod
.parityBits
^= ((Demod
.shiftReg
>> 8) & 0x01);
587 Demod.output[Demod.len] = 0xBB;
589 Demod.output[Demod.len] = error & 0xFF;
591 Demod.output[Demod.len] = 0xBB;
593 Demod.output[Demod.len] = bit & 0xFF;
595 Demod.output[Demod.len] = Demod.buffer & 0xFF;
597 Demod.output[Demod.len] = Demod.syncBit & 0xFF;
599 Demod.output[Demod.len] = 0xBB;
606 } // end (state != UNSYNCED)
611 //=============================================================================
612 // Finally, a `sniffer' for ISO 14443 Type A
613 // Both sides of communication!
614 //=============================================================================
616 //-----------------------------------------------------------------------------
617 // Record the sequence of commands sent by the reader to the tag, with
618 // triggering so that we start recording at the point that the tag is moved
620 //-----------------------------------------------------------------------------
621 void RAMFUNC
SnoopIso14443a(void)
623 // #define RECV_CMD_OFFSET 2032 // original (working as of 21/2/09) values
624 // #define RECV_RES_OFFSET 2096 // original (working as of 21/2/09) values
625 // #define DMA_BUFFER_OFFSET 2160 // original (working as of 21/2/09) values
626 // #define DMA_BUFFER_SIZE 4096 // original (working as of 21/2/09) values
627 // #define TRACE_SIZE 2000 // original (working as of 21/2/09) values
629 // We won't start recording the frames that we acquire until we trigger;
630 // a good trigger condition to get started is probably when we see a
631 // response from the tag.
632 int triggered
= FALSE
; // FALSE to wait first for card
634 // The command (reader -> tag) that we're receiving.
635 // The length of a received command will in most cases be no more than 18 bytes.
636 // So 32 should be enough!
637 uint8_t *receivedCmd
= (((uint8_t *)BigBuf
) + RECV_CMD_OFFSET
);
638 // The response (tag -> reader) that we're receiving.
639 uint8_t *receivedResponse
= (((uint8_t *)BigBuf
) + RECV_RES_OFFSET
);
641 // As we receive stuff, we copy it from receivedCmd or receivedResponse
642 // into trace, along with its length and other annotations.
643 //uint8_t *trace = (uint8_t *)BigBuf;
645 traceLen
= 0; // uncommented to fix ISSUE 15 - gerhard - jan2011
647 // The DMA buffer, used to stream samples from the FPGA
648 int8_t *dmaBuf
= ((int8_t *)BigBuf
) + DMA_BUFFER_OFFSET
;
654 // Count of samples received so far, so that we can include timing
655 // information in the trace buffer.
659 memset(trace
, 0x44, TRACE_SIZE
);
661 // Set up the demodulator for tag -> reader responses.
662 Demod
.output
= receivedResponse
;
664 Demod
.state
= DEMOD_UNSYNCD
;
666 // Setup for the DMA.
669 lastRxCounter
= DMA_BUFFER_SIZE
;
670 FpgaSetupSscDma((uint8_t *)dmaBuf
, DMA_BUFFER_SIZE
);
672 // And the reader -> tag commands
673 memset(&Uart
, 0, sizeof(Uart
));
674 Uart
.output
= receivedCmd
;
675 Uart
.byteCntMax
= 32; // was 100 (greg)////////////////////////////////////////////////////////////////////////
676 Uart
.state
= STATE_UNSYNCD
;
678 // And put the FPGA in the appropriate mode
679 // Signal field is off with the appropriate LED
681 FpgaWriteConfWord(FPGA_MAJOR_MODE_HF_ISO14443A
| FPGA_HF_ISO14443A_SNIFFER
);
682 SetAdcMuxFor(GPIO_MUXSEL_HIPKD
);
685 // And now we loop, receiving samples.
689 int behindBy
= (lastRxCounter
- AT91C_BASE_PDC_SSC
->PDC_RCR
) &
691 if(behindBy
> maxBehindBy
) {
692 maxBehindBy
= behindBy
;
694 Dbprintf("blew circular buffer! behindBy=0x%x", behindBy
);
698 if(behindBy
< 1) continue;
704 if(upTo
- dmaBuf
> DMA_BUFFER_SIZE
) {
705 upTo
-= DMA_BUFFER_SIZE
;
706 lastRxCounter
+= DMA_BUFFER_SIZE
;
707 AT91C_BASE_PDC_SSC
->PDC_RNPR
= (uint32_t) upTo
;
708 AT91C_BASE_PDC_SSC
->PDC_RNCR
= DMA_BUFFER_SIZE
;
712 if(MillerDecoding((smpl
& 0xF0) >> 4)) {
713 rsamples
= samples
- Uart
.samples
;
716 trace
[traceLen
++] = ((rsamples
>> 0) & 0xff);
717 trace
[traceLen
++] = ((rsamples
>> 8) & 0xff);
718 trace
[traceLen
++] = ((rsamples
>> 16) & 0xff);
719 trace
[traceLen
++] = ((rsamples
>> 24) & 0xff);
720 trace
[traceLen
++] = ((Uart
.parityBits
>> 0) & 0xff);
721 trace
[traceLen
++] = ((Uart
.parityBits
>> 8) & 0xff);
722 trace
[traceLen
++] = ((Uart
.parityBits
>> 16) & 0xff);
723 trace
[traceLen
++] = ((Uart
.parityBits
>> 24) & 0xff);
724 trace
[traceLen
++] = Uart
.byteCnt
;
725 memcpy(trace
+traceLen
, receivedCmd
, Uart
.byteCnt
);
726 traceLen
+= Uart
.byteCnt
;
727 if(traceLen
> TRACE_SIZE
) break;
729 /* And ready to receive another command. */
730 Uart
.state
= STATE_UNSYNCD
;
731 /* And also reset the demod code, which might have been */
732 /* false-triggered by the commands from the reader. */
733 Demod
.state
= DEMOD_UNSYNCD
;
737 if(ManchesterDecoding(smpl
& 0x0F)) {
738 rsamples
= samples
- Demod
.samples
;
741 // timestamp, as a count of samples
742 trace
[traceLen
++] = ((rsamples
>> 0) & 0xff);
743 trace
[traceLen
++] = ((rsamples
>> 8) & 0xff);
744 trace
[traceLen
++] = ((rsamples
>> 16) & 0xff);
745 trace
[traceLen
++] = 0x80 | ((rsamples
>> 24) & 0xff);
746 trace
[traceLen
++] = ((Demod
.parityBits
>> 0) & 0xff);
747 trace
[traceLen
++] = ((Demod
.parityBits
>> 8) & 0xff);
748 trace
[traceLen
++] = ((Demod
.parityBits
>> 16) & 0xff);
749 trace
[traceLen
++] = ((Demod
.parityBits
>> 24) & 0xff);
751 trace
[traceLen
++] = Demod
.len
;
752 memcpy(trace
+traceLen
, receivedResponse
, Demod
.len
);
753 traceLen
+= Demod
.len
;
754 if(traceLen
> TRACE_SIZE
) break;
758 // And ready to receive another response.
759 memset(&Demod
, 0, sizeof(Demod
));
760 Demod
.output
= receivedResponse
;
761 Demod
.state
= DEMOD_UNSYNCD
;
766 DbpString("cancelled_a");
771 DbpString("COMMAND FINISHED");
774 AT91C_BASE_PDC_SSC
->PDC_PTCR
= AT91C_PDC_RXTDIS
;
775 Dbprintf("maxBehindBy=%x, Uart.state=%x, Uart.byteCnt=%x", maxBehindBy
, Uart
.state
, Uart
.byteCnt
);
776 Dbprintf("Uart.byteCntMax=%x, traceLen=%x, Uart.output[0]=%x", Uart
.byteCntMax
, traceLen
, (int)Uart
.output
[0]);
783 //-----------------------------------------------------------------------------
784 // Prepare tag messages
785 //-----------------------------------------------------------------------------
786 static void CodeIso14443aAsTagPar(const uint8_t *cmd
, int len
, uint32_t dwParity
)
792 // Correction bit, might be removed when not needed
797 ToSendStuffBit(1); // 1
803 ToSend
[++ToSendMax
] = SEC_D
;
805 for(i
= 0; i
< len
; i
++) {
810 for(j
= 0; j
< 8; j
++) {
812 ToSend
[++ToSendMax
] = SEC_D
;
814 ToSend
[++ToSendMax
] = SEC_E
;
819 // Get the parity bit
820 if ((dwParity
>> i
) & 0x01) {
821 ToSend
[++ToSendMax
] = SEC_D
;
823 ToSend
[++ToSendMax
] = SEC_E
;
828 ToSend
[++ToSendMax
] = SEC_F
;
830 // Convert from last byte pos to length
834 static void CodeIso14443aAsTag(const uint8_t *cmd
, int len
){
835 CodeIso14443aAsTagPar(cmd
, len
, GetParity(cmd
, len
));
838 //-----------------------------------------------------------------------------
839 // This is to send a NACK kind of answer, its only 3 bits, I know it should be 4
840 //-----------------------------------------------------------------------------
841 static void CodeStrangeAnswerAsTag()
847 // Correction bit, might be removed when not needed
852 ToSendStuffBit(1); // 1
858 ToSend
[++ToSendMax
] = SEC_D
;
861 ToSend
[++ToSendMax
] = SEC_E
;
864 ToSend
[++ToSendMax
] = SEC_E
;
867 ToSend
[++ToSendMax
] = SEC_D
;
870 ToSend
[++ToSendMax
] = SEC_F
;
872 // Flush the buffer in FPGA!!
873 for(i
= 0; i
< 5; i
++) {
874 ToSend
[++ToSendMax
] = SEC_F
;
877 // Convert from last byte pos to length
881 static void Code4bitAnswerAsTag(uint8_t cmd
)
887 // Correction bit, might be removed when not needed
892 ToSendStuffBit(1); // 1
898 ToSend
[++ToSendMax
] = SEC_D
;
901 for(i
= 0; i
< 4; i
++) {
903 ToSend
[++ToSendMax
] = SEC_D
;
905 ToSend
[++ToSendMax
] = SEC_E
;
911 ToSend
[++ToSendMax
] = SEC_F
;
913 // Flush the buffer in FPGA!!
914 for(i
= 0; i
< 5; i
++) {
915 ToSend
[++ToSendMax
] = SEC_F
;
918 // Convert from last byte pos to length
922 //-----------------------------------------------------------------------------
923 // Wait for commands from reader
924 // Stop when button is pressed
925 // Or return TRUE when command is captured
926 //-----------------------------------------------------------------------------
927 static int GetIso14443aCommandFromReader(uint8_t *received
, int *len
, int maxLen
)
929 // Set FPGA mode to "simulated ISO 14443 tag", no modulation (listen
930 // only, since we are receiving, not transmitting).
931 // Signal field is off with the appropriate LED
933 FpgaWriteConfWord(FPGA_MAJOR_MODE_HF_ISO14443A
| FPGA_HF_ISO14443A_TAGSIM_LISTEN
);
935 // Now run a `software UART' on the stream of incoming samples.
936 Uart
.output
= received
;
937 Uart
.byteCntMax
= maxLen
;
938 Uart
.state
= STATE_UNSYNCD
;
943 if(BUTTON_PRESS()) return FALSE
;
945 if(AT91C_BASE_SSC
->SSC_SR
& (AT91C_SSC_TXRDY
)) {
946 AT91C_BASE_SSC
->SSC_THR
= 0x00;
948 if(AT91C_BASE_SSC
->SSC_SR
& (AT91C_SSC_RXRDY
)) {
949 uint8_t b
= (uint8_t)AT91C_BASE_SSC
->SSC_RHR
;
950 if(MillerDecoding((b
& 0xf0) >> 4)) {
954 if(MillerDecoding(b
& 0x0f)) {
961 static int EmSendCmd14443aRaw(uint8_t *resp
, int respLen
, int correctionNeeded
);
963 //-----------------------------------------------------------------------------
964 // Main loop of simulated tag: receive commands from reader, decide what
965 // response to send, and send it.
966 //-----------------------------------------------------------------------------
967 void SimulateIso14443aTag(int tagType
, int uid_1st
, int uid_2nd
)
969 // Enable and clear the trace
972 memset(trace
, 0x44, TRACE_SIZE
);
974 // This function contains the tag emulation
977 // The first response contains the ATQA (note: bytes are transmitted in reverse order).
978 uint8_t response1
[2];
981 case 1: { // MIFARE Classic
982 // Says: I am Mifare 1k - original line
987 case 2: { // MIFARE Ultralight
988 // Says: I am a stupid memory tag, no crypto
993 case 3: { // MIFARE DESFire
994 // Says: I am a DESFire tag, ph33r me
999 case 4: { // ISO/IEC 14443-4
1000 // Says: I am a javacard (JCOP)
1001 response1
[0] = 0x04;
1002 response1
[1] = 0x00;
1006 Dbprintf("Error: unkown tagtype (%d)",tagType
);
1011 // The second response contains the (mandatory) first 24 bits of the UID
1012 uint8_t response2
[5];
1014 // Check if the uid uses the (optional) part
1015 uint8_t response2a
[5];
1017 response2
[0] = 0x88;
1018 num_to_bytes(uid_1st
,3,response2
+1);
1019 num_to_bytes(uid_2nd
,4,response2a
);
1020 response2a
[4] = response2a
[0] ^ response2a
[1] ^ response2a
[2] ^ response2a
[3];
1022 // Configure the ATQA and SAK accordingly
1023 response1
[0] |= 0x40;
1026 num_to_bytes(uid_1st
,4,response2
);
1027 // Configure the ATQA and SAK accordingly
1028 response1
[0] &= 0xBF;
1032 // Calculate the BitCountCheck (BCC) for the first 4 bytes of the UID.
1033 response2
[4] = response2
[0] ^ response2
[1] ^ response2
[2] ^ response2
[3];
1035 // Prepare the mandatory SAK (for 4 and 7 byte UID)
1036 uint8_t response3
[3];
1038 ComputeCrc14443(CRC_14443_A
, response3
, 1, &response3
[1], &response3
[2]);
1040 // Prepare the optional second SAK (for 7 byte UID), drop the cascade bit
1041 uint8_t response3a
[3];
1042 response3a
[0] = sak
& 0xFB;
1043 ComputeCrc14443(CRC_14443_A
, response3a
, 1, &response3a
[1], &response3a
[2]);
1047 // Check if the uid uses the (optional) second part
1049 // Configure the ATQA and SAK accordingly
1050 response1[0] |= 0x40;
1055 //static const uint8_t response2a[] = { 0x51, 0x48, 0x1d, 0x80, 0x84 }; // uid - cascade2 - 2nd half (4 bytes) of UID+ BCCheck
1058 // Prepare protocol messages
1059 // static const uint8_t cmd1[] = { 0x26 };
1060 // static const uint8_t response1[] = { 0x02, 0x00 }; // Says: I am Mifare 4k - original line - greg
1062 // uint8_t response1[] = { 0x44, 0x03 }; // Says: I am a DESFire Tag, ph33r me
1063 // static const uint8_t response1[] = { 0x44, 0x00 }; // Says: I am a ULTRALITE Tag, 0wn me
1066 // static const uint8_t cmd2[] = { 0x93, 0x20 };
1067 //static const uint8_t response2[] = { 0x9a, 0xe5, 0xe4, 0x43, 0xd8 }; // original value - greg
1070 // uint8_t response2[] = { 0x88, 0x04, 0x21, 0x3f, 0x4d }; // known uid - note cascade (0x88), 2nd byte (0x04) = NXP/Phillips
1073 // When reader selects us during cascade1 it will send cmd3
1074 //uint8_t response3[] = { 0x04, 0x00, 0x00 }; // SAK Select (cascade1) successful response (ULTRALITE)
1075 //uint8_t response3[] = { 0x24, 0x00, 0x00 }; // SAK Select (cascade1) successful response (DESFire)
1076 //ComputeCrc14443(CRC_14443_A, response3, 1, &response3[1], &response3[2]);
1078 // send cascade2 2nd half of UID
1079 //static const uint8_t response2a[] = { 0x51, 0x48, 0x1d, 0x80, 0x84 }; // uid - cascade2 - 2nd half (4 bytes) of UID+ BCCheck
1080 // NOTE : THE CRC on the above may be wrong as I have obfuscated the actual UID
1082 // When reader selects us during cascade2 it will send cmd3a
1083 //uint8_t response3a[] = { 0x00, 0x00, 0x00 }; // SAK Select (cascade2) successful response (ULTRALITE)
1084 //uint8_t response3a[] = { 0x20, 0x00, 0x00 }; // SAK Select (cascade2) successful response (DESFire)
1085 //ComputeCrc14443(CRC_14443_A, response3a, 1, &response3a[1], &response3a[2]);
1087 static const uint8_t response5
[] = { 0x00, 0x00, 0x00, 0x00 }; // Very random tag nonce
1092 // Longest possible response will be 16 bytes + 2 CRC = 18 bytes
1094 // 144 data bits (18 * 8)
1097 // 1 Correction bit (Answer in 1172 or 1236 periods, see FPGA)
1098 // 1 just for the case
1102 // 166 bytes, since every bit that needs to be send costs us a byte
1105 // Respond with card type
1106 uint8_t *resp1
= (((uint8_t *)BigBuf
) + FREE_BUFFER_OFFSET
);
1109 // Anticollision cascade1 - respond with uid
1110 uint8_t *resp2
= (((uint8_t *)BigBuf
) + FREE_BUFFER_OFFSET
+ 166);
1113 // Anticollision cascade2 - respond with 2nd half of uid if asked
1114 // we're only going to be asked if we set the 1st byte of the UID (during cascade1) to 0x88
1115 uint8_t *resp2a
= (((uint8_t *)BigBuf
) + 1140);
1118 // Acknowledge select - cascade 1
1119 uint8_t *resp3
= (((uint8_t *)BigBuf
) + FREE_BUFFER_OFFSET
+ (166*2));
1122 // Acknowledge select - cascade 2
1123 uint8_t *resp3a
= (((uint8_t *)BigBuf
) + FREE_BUFFER_OFFSET
+ (166*3));
1126 // Response to a read request - not implemented atm
1127 uint8_t *resp4
= (((uint8_t *)BigBuf
) + FREE_BUFFER_OFFSET
+ (166*4));
1130 // Authenticate response - nonce
1131 uint8_t *resp5
= (((uint8_t *)BigBuf
) + FREE_BUFFER_OFFSET
+ (166*5));
1134 uint8_t *receivedCmd
= (((uint8_t *)BigBuf
) + RECV_CMD_OFFSET
);
1135 // uint8_t *receivedCmd = (uint8_t *)BigBuf;
1142 // To control where we are in the protocol
1146 // Just to allow some checks
1151 uint8_t* respdata
= NULL
;
1153 uint8_t nack
= 0x04;
1155 //int fdt_indicator;
1157 memset(receivedCmd
, 0x44, RECV_CMD_SIZE
);
1159 // Prepare the responses of the anticollision phase
1160 // there will be not enough time to do this at the moment the reader sends it REQA
1162 // Answer to request
1163 CodeIso14443aAsTag(response1
, sizeof(response1
));
1164 memcpy(resp1
, ToSend
, ToSendMax
); resp1Len
= ToSendMax
;
1166 // Send our UID (cascade 1)
1167 CodeIso14443aAsTag(response2
, sizeof(response2
));
1168 memcpy(resp2
, ToSend
, ToSendMax
); resp2Len
= ToSendMax
;
1170 // Answer to select (cascade1)
1171 CodeIso14443aAsTag(response3
, sizeof(response3
));
1172 memcpy(resp3
, ToSend
, ToSendMax
); resp3Len
= ToSendMax
;
1174 // Send the cascade 2 2nd part of the uid
1175 CodeIso14443aAsTag(response2a
, sizeof(response2a
));
1176 memcpy(resp2a
, ToSend
, ToSendMax
); resp2aLen
= ToSendMax
;
1178 // Answer to select (cascade 2)
1179 CodeIso14443aAsTag(response3a
, sizeof(response3a
));
1180 memcpy(resp3a
, ToSend
, ToSendMax
); resp3aLen
= ToSendMax
;
1182 // Strange answer is an example of rare message size (3 bits)
1183 CodeStrangeAnswerAsTag();
1184 memcpy(resp4
, ToSend
, ToSendMax
); resp4Len
= ToSendMax
;
1186 // Authentication answer (random nonce)
1187 CodeIso14443aAsTag(response5
, sizeof(response5
));
1188 memcpy(resp5
, ToSend
, ToSendMax
); resp5Len
= ToSendMax
;
1190 // We need to listen to the high-frequency, peak-detected path.
1191 SetAdcMuxFor(GPIO_MUXSEL_HIPKD
);
1199 if(!GetIso14443aCommandFromReader(receivedCmd
, &len
, RECV_CMD_SIZE
)) {
1200 DbpString("button press");
1203 // doob - added loads of debug strings so we can see what the reader is saying to us during the sim as hi14alist is not populated
1204 // Okay, look at the command now.
1206 //i = 1; // first byte transmitted
1207 if(receivedCmd
[0] == 0x26) {
1208 // Received a REQUEST
1209 resp
= resp1
; respLen
= resp1Len
; order
= 1;
1210 respdata
= response1
;
1211 respsize
= sizeof(response1
);
1212 //DbpString("Hello request from reader:");
1213 } else if(receivedCmd
[0] == 0x52) {
1214 // Received a WAKEUP
1215 resp
= resp1
; respLen
= resp1Len
; order
= 6;
1216 // //DbpString("Wakeup request from reader:");
1217 respdata
= response1
;
1218 respsize
= sizeof(response1
);
1219 } else if(receivedCmd
[1] == 0x20 && receivedCmd
[0] == 0x93) { // greg - cascade 1 anti-collision
1220 // Received request for UID (cascade 1)
1221 resp
= resp2
; respLen
= resp2Len
; order
= 2;
1222 // DbpString("UID (cascade 1) request from reader:");
1223 // DbpIntegers(receivedCmd[0], receivedCmd[1], receivedCmd[2]);
1224 respdata
= response2
;
1225 respsize
= sizeof(response2
);
1226 } else if(receivedCmd
[1] == 0x20 && receivedCmd
[0] ==0x95) { // greg - cascade 2 anti-collision
1227 // Received request for UID (cascade 2)
1228 resp
= resp2a
; respLen
= resp2aLen
; order
= 20;
1229 // DbpString("UID (cascade 2) request from reader:");
1230 // DbpIntegers(receivedCmd[0], receivedCmd[1], receivedCmd[2]);
1231 respdata
= response2a
;
1232 respsize
= sizeof(response2a
);
1234 } else if(receivedCmd
[1] == 0x70 && receivedCmd
[0] ==0x93) { // greg - cascade 1 select
1235 // Received a SELECT
1236 resp
= resp3
; respLen
= resp3Len
; order
= 3;
1237 // DbpString("Select (cascade 1) request from reader:");
1238 // DbpIntegers(receivedCmd[0], receivedCmd[1], receivedCmd[2]);
1239 respdata
= response3
;
1240 respsize
= sizeof(response3
);
1242 } else if(receivedCmd
[1] == 0x70 && receivedCmd
[0] ==0x95) { // greg - cascade 2 select
1243 // Received a SELECT
1244 resp
= resp3a
; respLen
= resp3aLen
; order
= 30;
1245 // DbpString("Select (cascade 2) request from reader:");
1246 // DbpIntegers(receivedCmd[0], receivedCmd[1], receivedCmd[2]);
1247 respdata
= response3a
;
1248 respsize
= sizeof(response3a
);
1250 } else if(receivedCmd
[0] == 0x30) {
1252 resp
= resp4
; respLen
= resp4Len
; order
= 4; // Do nothing
1253 Dbprintf("Read request from reader: %x %x %x",
1254 receivedCmd
[0], receivedCmd
[1], receivedCmd
[2]);
1256 respsize
= sizeof(nack
); // 4-bit answer
1258 } else if(receivedCmd
[0] == 0x50) {
1260 resp
= resp1
; respLen
= 0; order
= 5; // Do nothing
1261 DbpString("Reader requested we HALT!:");
1265 } else if(receivedCmd
[0] == 0x60) {
1266 // Received an authentication request
1267 resp
= resp5
; respLen
= resp5Len
; order
= 7;
1268 Dbprintf("Authenticate request from reader: %x %x %x",
1269 receivedCmd
[0], receivedCmd
[1], receivedCmd
[2]);
1273 } else if(receivedCmd
[0] == 0xE0) {
1274 // Received a RATS request
1275 resp
= resp1
; respLen
= 0;order
= 70;
1276 Dbprintf("RATS request from reader: %x %x %x",
1277 receivedCmd
[0], receivedCmd
[1], receivedCmd
[2]);
1281 // Never seen this command before
1282 Dbprintf("Unknown command received from reader (len=%d): %x %x %x %x %x %x %x %x %x",
1284 receivedCmd
[0], receivedCmd
[1], receivedCmd
[2],
1285 receivedCmd
[3], receivedCmd
[4], receivedCmd
[5],
1286 receivedCmd
[6], receivedCmd
[7], receivedCmd
[8]);
1288 resp
= resp1
; respLen
= 0; order
= 0;
1293 // Count number of wakeups received after a halt
1294 if(order
== 6 && lastorder
== 5) { happened
++; }
1296 // Count number of other messages after a halt
1297 if(order
!= 6 && lastorder
== 5) { happened2
++; }
1299 // Look at last parity bit to determine timing of answer
1300 if((Uart
.parityBits
& 0x01) || receivedCmd
[0] == 0x52) {
1301 // 1236, so correction bit needed
1306 if(cmdsRecvd
> 999) {
1307 DbpString("1000 commands later...");
1315 //----------------------------
1318 //fdt_indicator = FALSE;
1319 EmSendCmd14443aRaw(resp
, respLen
, receivedCmd
[0] == 0x52);
1323 LogTrace(receivedCmd
,len
, 0, Uart
.parityBits
, TRUE
);
1324 if (respdata
!= NULL
) {
1325 LogTrace(respdata
,respsize
, 0, SwapBits(GetParity(respdata
,respsize
),respsize
), FALSE
);
1327 if(traceLen
> TRACE_SIZE
) {
1328 DbpString("Trace full");
1333 memset(receivedCmd
, 0x44, RECV_CMD_SIZE
);
1334 /* // Modulate Manchester
1335 FpgaWriteConfWord(FPGA_MAJOR_MODE_HF_ISO14443A | FPGA_HF_ISO14443A_TAGSIM_MOD);
1336 AT91C_BASE_SSC->SSC_THR = 0x00;
1339 // ### Transmit the response ###
1342 fdt_indicator = FALSE;
1344 if(AT91C_BASE_SSC->SSC_SR & (AT91C_SSC_RXRDY)) {
1345 volatile uint8_t b = (uint8_t)AT91C_BASE_SSC->SSC_RHR;
1348 if(AT91C_BASE_SSC->SSC_SR & (AT91C_SSC_TXRDY)) {
1356 AT91C_BASE_SSC->SSC_THR = b;
1362 if(BUTTON_PRESS()) {
1369 Dbprintf("%x %x %x", happened
, happened2
, cmdsRecvd
);
1373 //-----------------------------------------------------------------------------
1374 // Transmit the command (to the tag) that was placed in ToSend[].
1375 //-----------------------------------------------------------------------------
1376 static void TransmitFor14443a(const uint8_t *cmd
, int len
, int *samples
, int *wait
)
1380 FpgaWriteConfWord(FPGA_MAJOR_MODE_HF_ISO14443A
| FPGA_HF_ISO14443A_READER_MOD
);
1386 for(c
= 0; c
< *wait
;) {
1387 if(AT91C_BASE_SSC
->SSC_SR
& (AT91C_SSC_TXRDY
)) {
1388 AT91C_BASE_SSC
->SSC_THR
= 0x00; // For exact timing!
1391 if(AT91C_BASE_SSC
->SSC_SR
& (AT91C_SSC_RXRDY
)) {
1392 volatile uint32_t r
= AT91C_BASE_SSC
->SSC_RHR
;
1400 if(AT91C_BASE_SSC
->SSC_SR
& (AT91C_SSC_TXRDY
)) {
1401 AT91C_BASE_SSC
->SSC_THR
= cmd
[c
];
1407 if(AT91C_BASE_SSC
->SSC_SR
& (AT91C_SSC_RXRDY
)) {
1408 volatile uint32_t r
= AT91C_BASE_SSC
->SSC_RHR
;
1413 if (samples
) *samples
= (c
+ *wait
) << 3;
1416 //-----------------------------------------------------------------------------
1417 // Code a 7-bit command without parity bit
1418 // This is especially for 0x26 and 0x52 (REQA and WUPA)
1419 //-----------------------------------------------------------------------------
1420 void ShortFrameFromReader(const uint8_t bt
)
1428 // Start of Communication (Seq. Z)
1429 ToSend
[++ToSendMax
] = SEC_Z
;
1433 for(j
= 0; j
< 7; j
++) {
1436 ToSend
[++ToSendMax
] = SEC_X
;
1441 ToSend
[++ToSendMax
] = SEC_Z
;
1445 ToSend
[++ToSendMax
] = SEC_Y
;
1452 // End of Communication
1455 ToSend
[++ToSendMax
] = SEC_Z
;
1459 ToSend
[++ToSendMax
] = SEC_Y
;
1463 ToSend
[++ToSendMax
] = SEC_Y
;
1466 ToSend
[++ToSendMax
] = SEC_Y
;
1467 ToSend
[++ToSendMax
] = SEC_Y
;
1468 ToSend
[++ToSendMax
] = SEC_Y
;
1470 // Convert from last character reference to length
1474 //-----------------------------------------------------------------------------
1475 // Prepare reader command to send to FPGA
1477 //-----------------------------------------------------------------------------
1478 void CodeIso14443aAsReaderPar(const uint8_t * cmd
, int len
, uint32_t dwParity
)
1486 // Start of Communication (Seq. Z)
1487 ToSend
[++ToSendMax
] = SEC_Z
;
1490 // Generate send structure for the data bits
1491 for (i
= 0; i
< len
; i
++) {
1492 // Get the current byte to send
1495 for (j
= 0; j
< 8; j
++) {
1498 ToSend
[++ToSendMax
] = SEC_X
;
1503 ToSend
[++ToSendMax
] = SEC_Z
;
1506 ToSend
[++ToSendMax
] = SEC_Y
;
1513 // Get the parity bit
1514 if ((dwParity
>> i
) & 0x01) {
1516 ToSend
[++ToSendMax
] = SEC_X
;
1521 ToSend
[++ToSendMax
] = SEC_Z
;
1524 ToSend
[++ToSendMax
] = SEC_Y
;
1530 // End of Communication
1533 ToSend
[++ToSendMax
] = SEC_Z
;
1536 ToSend
[++ToSendMax
] = SEC_Y
;
1540 ToSend
[++ToSendMax
] = SEC_Y
;
1543 ToSend
[++ToSendMax
] = SEC_Y
;
1544 ToSend
[++ToSendMax
] = SEC_Y
;
1545 ToSend
[++ToSendMax
] = SEC_Y
;
1547 // Convert from last character reference to length
1551 //-----------------------------------------------------------------------------
1552 // Wait for commands from reader
1553 // Stop when button is pressed (return 1) or field was gone (return 2)
1554 // Or return 0 when command is captured
1555 //-----------------------------------------------------------------------------
1556 static int EmGetCmd(uint8_t *received
, int *len
, int maxLen
)
1560 uint32_t timer
= 0, vtime
= 0;
1564 // Set FPGA mode to "simulated ISO 14443 tag", no modulation (listen
1565 // only, since we are receiving, not transmitting).
1566 // Signal field is off with the appropriate LED
1568 FpgaWriteConfWord(FPGA_MAJOR_MODE_HF_ISO14443A
| FPGA_HF_ISO14443A_TAGSIM_LISTEN
);
1570 // Set ADC to read field strength
1571 AT91C_BASE_ADC
->ADC_CR
= AT91C_ADC_SWRST
;
1572 AT91C_BASE_ADC
->ADC_MR
=
1573 ADC_MODE_PRESCALE(32) |
1574 ADC_MODE_STARTUP_TIME(16) |
1575 ADC_MODE_SAMPLE_HOLD_TIME(8);
1576 AT91C_BASE_ADC
->ADC_CHER
= ADC_CHANNEL(ADC_CHAN_HF
);
1578 AT91C_BASE_ADC
->ADC_CR
= AT91C_ADC_START
;
1580 // Now run a 'software UART' on the stream of incoming samples.
1581 Uart
.output
= received
;
1582 Uart
.byteCntMax
= maxLen
;
1583 Uart
.state
= STATE_UNSYNCD
;
1588 if (BUTTON_PRESS()) return 1;
1590 // test if the field exists
1591 if (AT91C_BASE_ADC
->ADC_SR
& ADC_END_OF_CONVERSION(ADC_CHAN_HF
)) {
1593 analogAVG
+= AT91C_BASE_ADC
->ADC_CDR
[ADC_CHAN_HF
];
1594 AT91C_BASE_ADC
->ADC_CR
= AT91C_ADC_START
;
1595 if (analogCnt
>= 32) {
1596 if ((33000 * (analogAVG
/ analogCnt
) >> 10) < MF_MINFIELDV
) {
1597 vtime
= GetTickCount();
1598 if (!timer
) timer
= vtime
;
1599 // 50ms no field --> card to idle state
1600 if (vtime
- timer
> 50) return 2;
1602 if (timer
) timer
= 0;
1608 if(AT91C_BASE_SSC
->SSC_SR
& (AT91C_SSC_TXRDY
)) {
1609 AT91C_BASE_SSC
->SSC_THR
= 0x00;
1611 // receive and test the miller decoding
1612 if(AT91C_BASE_SSC
->SSC_SR
& (AT91C_SSC_RXRDY
)) {
1613 volatile uint8_t b
= (uint8_t)AT91C_BASE_SSC
->SSC_RHR
;
1614 if(MillerDecoding((b
& 0xf0) >> 4)) {
1615 *len
= Uart
.byteCnt
;
1616 if (tracing
) LogTrace(received
, *len
, GetDeltaCountUS(), Uart
.parityBits
, TRUE
);
1619 if(MillerDecoding(b
& 0x0f)) {
1620 *len
= Uart
.byteCnt
;
1621 if (tracing
) LogTrace(received
, *len
, GetDeltaCountUS(), Uart
.parityBits
, TRUE
);
1628 static int EmSendCmd14443aRaw(uint8_t *resp
, int respLen
, int correctionNeeded
)
1633 // Modulate Manchester
1634 FpgaWriteConfWord(FPGA_MAJOR_MODE_HF_ISO14443A
| FPGA_HF_ISO14443A_TAGSIM_MOD
);
1635 AT91C_BASE_SSC
->SSC_THR
= 0x00;
1638 // include correction bit
1640 if((Uart
.parityBits
& 0x01) || correctionNeeded
) {
1641 // 1236, so correction bit needed
1647 if(AT91C_BASE_SSC
->SSC_SR
& (AT91C_SSC_RXRDY
)) {
1648 volatile uint8_t b
= (uint8_t)AT91C_BASE_SSC
->SSC_RHR
;
1651 if(AT91C_BASE_SSC
->SSC_SR
& (AT91C_SSC_TXRDY
)) {
1653 b
= 0xff; // was 0x00
1659 AT91C_BASE_SSC
->SSC_THR
= b
;
1663 if(BUTTON_PRESS()) {
1671 int EmSend4bitEx(uint8_t resp
, int correctionNeeded
){
1672 Code4bitAnswerAsTag(resp
);
1673 int res
= EmSendCmd14443aRaw(ToSend
, ToSendMax
, correctionNeeded
);
1674 if (tracing
) LogTrace(&resp
, 1, GetDeltaCountUS(), GetParity(&resp
, 1), FALSE
);
1678 int EmSend4bit(uint8_t resp
){
1679 return EmSend4bitEx(resp
, 0);
1682 int EmSendCmdExPar(uint8_t *resp
, int respLen
, int correctionNeeded
, uint32_t par
){
1683 CodeIso14443aAsTagPar(resp
, respLen
, par
);
1684 int res
= EmSendCmd14443aRaw(ToSend
, ToSendMax
, correctionNeeded
);
1685 if (tracing
) LogTrace(resp
, respLen
, GetDeltaCountUS(), par
, FALSE
);
1689 int EmSendCmdEx(uint8_t *resp
, int respLen
, int correctionNeeded
){
1690 return EmSendCmdExPar(resp
, respLen
, correctionNeeded
, GetParity(resp
, respLen
));
1693 int EmSendCmd(uint8_t *resp
, int respLen
){
1694 return EmSendCmdExPar(resp
, respLen
, 0, GetParity(resp
, respLen
));
1697 int EmSendCmdPar(uint8_t *resp
, int respLen
, uint32_t par
){
1698 return EmSendCmdExPar(resp
, respLen
, 0, par
);
1701 //-----------------------------------------------------------------------------
1702 // Wait a certain time for tag response
1703 // If a response is captured return TRUE
1704 // If it takes to long return FALSE
1705 //-----------------------------------------------------------------------------
1706 static int GetIso14443aAnswerFromTag(uint8_t *receivedResponse
, int maxLen
, int *samples
, int *elapsed
) //uint8_t *buffer
1708 // buffer needs to be 512 bytes
1711 // Set FPGA mode to "reader listen mode", no modulation (listen
1712 // only, since we are receiving, not transmitting).
1713 // Signal field is on with the appropriate LED
1715 FpgaWriteConfWord(FPGA_MAJOR_MODE_HF_ISO14443A
| FPGA_HF_ISO14443A_READER_LISTEN
);
1717 // Now get the answer from the card
1718 Demod
.output
= receivedResponse
;
1720 Demod
.state
= DEMOD_UNSYNCD
;
1723 if (elapsed
) *elapsed
= 0;
1729 if(AT91C_BASE_SSC
->SSC_SR
& (AT91C_SSC_TXRDY
)) {
1730 AT91C_BASE_SSC
->SSC_THR
= 0x00; // To make use of exact timing of next command from reader!!
1731 if (elapsed
) (*elapsed
)++;
1733 if(AT91C_BASE_SSC
->SSC_SR
& (AT91C_SSC_RXRDY
)) {
1734 if(c
< iso14a_timeout
) { c
++; } else { return FALSE
; }
1735 b
= (uint8_t)AT91C_BASE_SSC
->SSC_RHR
;
1736 if(ManchesterDecoding((b
>>4) & 0xf)) {
1737 *samples
= ((c
- 1) << 3) + 4;
1740 if(ManchesterDecoding(b
& 0x0f)) {
1748 void ReaderTransmitShort(const uint8_t* bt
)
1753 ShortFrameFromReader(*bt
);
1756 TransmitFor14443a(ToSend
, ToSendMax
, &samples
, &wait
);
1758 // Store reader command in buffer
1759 if (tracing
) LogTrace(bt
,1,0,GetParity(bt
,1),TRUE
);
1762 void ReaderTransmitPar(uint8_t* frame
, int len
, uint32_t par
)
1767 // This is tied to other size changes
1768 // uint8_t* frame_addr = ((uint8_t*)BigBuf) + 2024;
1769 CodeIso14443aAsReaderPar(frame
,len
,par
);
1772 TransmitFor14443a(ToSend
, ToSendMax
, &samples
, &wait
);
1776 // Store reader command in buffer
1777 if (tracing
) LogTrace(frame
,len
,0,par
,TRUE
);
1781 void ReaderTransmit(uint8_t* frame
, int len
)
1783 // Generate parity and redirect
1784 ReaderTransmitPar(frame
,len
,GetParity(frame
,len
));
1787 int ReaderReceive(uint8_t* receivedAnswer
)
1790 if (!GetIso14443aAnswerFromTag(receivedAnswer
,160,&samples
,0)) return FALSE
;
1791 if (tracing
) LogTrace(receivedAnswer
,Demod
.len
,samples
,Demod
.parityBits
,FALSE
);
1792 if(samples
== 0) return FALSE
;
1796 int ReaderReceivePar(uint8_t* receivedAnswer
, uint32_t * parptr
)
1799 if (!GetIso14443aAnswerFromTag(receivedAnswer
,160,&samples
,0)) return FALSE
;
1800 if (tracing
) LogTrace(receivedAnswer
,Demod
.len
,samples
,Demod
.parityBits
,FALSE
);
1801 *parptr
= Demod
.parityBits
;
1802 if(samples
== 0) return FALSE
;
1806 /* performs iso14443a anticolision procedure
1807 * fills the uid pointer unless NULL
1808 * fills resp_data unless NULL */
1809 int iso14443a_select_card(uint8_t * uid_ptr
, iso14a_card_select_t
* resp_data
, uint32_t * cuid_ptr
) {
1810 uint8_t wupa
[] = { 0x52 }; // 0x26 - REQA 0x52 - WAKE-UP
1811 uint8_t sel_all
[] = { 0x93,0x20 };
1812 uint8_t sel_uid
[] = { 0x93,0x70,0x00,0x00,0x00,0x00,0x00,0x00,0x00 };
1813 uint8_t rats
[] = { 0xE0,0x80,0x00,0x00 }; // FSD=256, FSDI=8, CID=0
1815 uint8_t* resp
= (((uint8_t *)BigBuf
) + 3560); // was 3560 - tied to other size changes
1817 uint8_t sak
= 0x04; // cascade uid
1818 int cascade_level
= 0;
1823 memset(uid_ptr
, 0, 8);
1825 // Broadcast for a card, WUPA (0x52) will force response from all cards in the field
1826 ReaderTransmitShort(wupa
);
1828 if(!ReaderReceive(resp
)) return 0;
1831 memcpy(resp_data
->atqa
, resp
, 2);
1833 // OK we will select at least at cascade 1, lets see if first byte of UID was 0x88 in
1834 // which case we need to make a cascade 2 request and select - this is a long UID
1835 // While the UID is not complete, the 3nd bit (from the right) is set in the SAK.
1836 for(; sak
& 0x04; cascade_level
++)
1838 // SELECT_* (L1: 0x93, L2: 0x95, L3: 0x97)
1839 sel_uid
[0] = sel_all
[0] = 0x93 + cascade_level
* 2;
1842 ReaderTransmit(sel_all
,sizeof(sel_all
));
1843 if (!ReaderReceive(resp
)) return 0;
1844 if(uid_ptr
) memcpy(uid_ptr
+ cascade_level
*4, resp
, 4);
1846 // calculate crypto UID
1847 if(cuid_ptr
) *cuid_ptr
= bytes_to_num(resp
, 4);
1849 // Construct SELECT UID command
1850 memcpy(sel_uid
+2,resp
,5);
1851 AppendCrc14443a(sel_uid
,7);
1852 ReaderTransmit(sel_uid
,sizeof(sel_uid
));
1855 if (!ReaderReceive(resp
)) return 0;
1859 resp_data
->sak
= sak
;
1860 resp_data
->ats_len
= 0;
1862 //-- this byte not UID, it CT. http://www.nxp.com/documents/application_note/AN10927.pdf page 3
1863 if (uid_ptr
[0] == 0x88) {
1864 memcpy(uid_ptr
, uid_ptr
+ 1, 7);
1868 if( (sak
& 0x20) == 0)
1869 return 2; // non iso14443a compliant tag
1871 // Request for answer to select
1872 if(resp_data
) { // JCOP cards - if reader sent RATS then there is no MIFARE session at all!!!
1873 AppendCrc14443a(rats
, 2);
1874 ReaderTransmit(rats
, sizeof(rats
));
1876 if (!(len
= ReaderReceive(resp
))) return 0;
1878 memcpy(resp_data
->ats
, resp
, sizeof(resp_data
->ats
));
1879 resp_data
->ats_len
= len
;
1885 void iso14443a_setup() {
1888 // Start from off (no field generated)
1889 // Signal field is off with the appropriate LED
1891 FpgaWriteConfWord(FPGA_MAJOR_MODE_OFF
);
1894 SetAdcMuxFor(GPIO_MUXSEL_HIPKD
);
1896 // Now give it time to spin up.
1897 // Signal field is on with the appropriate LED
1899 FpgaWriteConfWord(FPGA_MAJOR_MODE_HF_ISO14443A
| FPGA_HF_ISO14443A_READER_MOD
);
1902 iso14a_timeout
= 2048; //default
1905 int iso14_apdu(uint8_t * cmd
, size_t cmd_len
, void * data
) {
1906 uint8_t real_cmd
[cmd_len
+4];
1907 real_cmd
[0] = 0x0a; //I-Block
1908 real_cmd
[1] = 0x00; //CID: 0 //FIXME: allow multiple selected cards
1909 memcpy(real_cmd
+2, cmd
, cmd_len
);
1910 AppendCrc14443a(real_cmd
,cmd_len
+2);
1912 ReaderTransmit(real_cmd
, cmd_len
+4);
1913 size_t len
= ReaderReceive(data
);
1915 return -1; //DATA LINK ERROR
1921 //-----------------------------------------------------------------------------
1922 // Read an ISO 14443a tag. Send out commands and store answers.
1924 //-----------------------------------------------------------------------------
1925 void ReaderIso14443a(UsbCommand
* c
, UsbCommand
* ack
)
1927 iso14a_command_t param
= c
->arg
[0];
1928 uint8_t * cmd
= c
->d
.asBytes
;
1929 size_t len
= c
->arg
[1];
1931 if(param
& ISO14A_REQUEST_TRIGGER
) iso14a_set_trigger(1);
1933 if(param
& ISO14A_CONNECT
) {
1935 ack
->arg
[0] = iso14443a_select_card(ack
->d
.asBytes
, (iso14a_card_select_t
*) (ack
->d
.asBytes
+12), NULL
);
1936 UsbSendPacket((void *)ack
, sizeof(UsbCommand
));
1939 if(param
& ISO14A_SET_TIMEOUT
) {
1940 iso14a_timeout
= c
->arg
[2];
1943 if(param
& ISO14A_SET_TIMEOUT
) {
1944 iso14a_timeout
= c
->arg
[2];
1947 if(param
& ISO14A_APDU
) {
1948 ack
->arg
[0] = iso14_apdu(cmd
, len
, ack
->d
.asBytes
);
1949 UsbSendPacket((void *)ack
, sizeof(UsbCommand
));
1952 if(param
& ISO14A_RAW
) {
1953 if(param
& ISO14A_APPEND_CRC
) {
1954 AppendCrc14443a(cmd
,len
);
1957 ReaderTransmit(cmd
,len
);
1958 ack
->arg
[0] = ReaderReceive(ack
->d
.asBytes
);
1959 UsbSendPacket((void *)ack
, sizeof(UsbCommand
));
1962 if(param
& ISO14A_REQUEST_TRIGGER
) iso14a_set_trigger(0);
1964 if(param
& ISO14A_NO_DISCONNECT
)
1967 FpgaWriteConfWord(FPGA_MAJOR_MODE_OFF
);
1970 //-----------------------------------------------------------------------------
1971 // Read an ISO 14443a tag. Send out commands and store answers.
1973 //-----------------------------------------------------------------------------
1974 void ReaderMifare(uint32_t parameter
)
1977 uint8_t mf_auth
[] = { 0x60,0x00,0xf5,0x7b };
1978 uint8_t mf_nr_ar
[] = { 0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00 };
1980 uint8_t* receivedAnswer
= (((uint8_t *)BigBuf
) + 3560); // was 3560 - tied to other size changes
1993 //byte_t par_mask = 0xff;
2000 byte_t nt
[4] = {0,0,0,0};
2001 byte_t nt_attacked
[4], nt_noattack
[4];
2002 byte_t par_list
[8] = {0,0,0,0,0,0,0,0};
2003 byte_t ks_list
[8] = {0,0,0,0,0,0,0,0};
2004 num_to_bytes(parameter
, 4, nt_noattack
);
2005 int isOK
= 0, isNULL
= 0;
2010 FpgaWriteConfWord(FPGA_MAJOR_MODE_OFF
);
2012 FpgaWriteConfWord(FPGA_MAJOR_MODE_HF_ISO14443A
| FPGA_HF_ISO14443A_READER_MOD
);
2015 // Test if the action was cancelled
2016 if(BUTTON_PRESS()) {
2020 if(!iso14443a_select_card(uid
, NULL
, &cuid
)) continue;
2022 // Transmit MIFARE_CLASSIC_AUTH
2023 ReaderTransmit(mf_auth
, sizeof(mf_auth
));
2025 // Receive the (16 bit) "random" nonce
2026 if (!ReaderReceive(receivedAnswer
)) continue;
2027 memcpy(nt
, receivedAnswer
, 4);
2029 // Transmit reader nonce and reader answer
2030 ReaderTransmitPar(mf_nr_ar
, sizeof(mf_nr_ar
),par
);
2032 // Receive 4 bit answer
2033 if (ReaderReceive(receivedAnswer
))
2035 if ( (parameter
!= 0) && (memcmp(nt
, nt_noattack
, 4) == 0) ) continue;
2037 isNULL
= (nt_attacked
[0] == 0) && (nt_attacked
[1] == 0) && (nt_attacked
[2] == 0) && (nt_attacked
[3] == 0);
2038 if ( (isNULL
!= 0 ) && (memcmp(nt
, nt_attacked
, 4) != 0) ) continue;
2043 memcpy(nt_attacked
, nt
, 4);
2045 par_low
= par
& 0x07;
2049 if(led_on
) LED_B_ON(); else LED_B_OFF();
2050 par_list
[nt_diff
] = par
;
2051 ks_list
[nt_diff
] = receivedAnswer
[0] ^ 0x05;
2053 // Test if the information is complete
2054 if (nt_diff
== 0x07) {
2059 nt_diff
= (nt_diff
+ 1) & 0x07;
2060 mf_nr_ar
[3] = nt_diff
<< 5;
2067 par
= (((par
>> 3) + 1) << 3) | par_low
;
2072 LogTrace(nt
, 4, 0, GetParity(nt
, 4), TRUE
);
2073 LogTrace(par_list
, 8, 0, GetParity(par_list
, 8), TRUE
);
2074 LogTrace(ks_list
, 8, 0, GetParity(ks_list
, 8), TRUE
);
2076 UsbCommand ack
= {CMD_ACK
, {isOK
, 0, 0}};
2077 memcpy(ack
.d
.asBytes
+ 0, uid
, 4);
2078 memcpy(ack
.d
.asBytes
+ 4, nt
, 4);
2079 memcpy(ack
.d
.asBytes
+ 8, par_list
, 8);
2080 memcpy(ack
.d
.asBytes
+ 16, ks_list
, 8);
2083 UsbSendPacket((uint8_t *)&ack
, sizeof(UsbCommand
));
2087 FpgaWriteConfWord(FPGA_MAJOR_MODE_OFF
);
2091 if (MF_DBGLEVEL
>= 1) DbpString("COMMAND mifare FINISHED");
2095 //-----------------------------------------------------------------------------
2096 // MIFARE 1K simulate.
2098 //-----------------------------------------------------------------------------
2099 void Mifare1ksim(uint8_t arg0
, uint8_t arg1
, uint8_t arg2
, uint8_t *datain
)
2101 int cardSTATE
= MFEMUL_NOFIELD
;
2103 int vHf
= 0; // in mV
2104 //int nextCycleTimeout = 0;
2106 // uint32_t timer = 0;
2107 uint32_t selTimer
= 0;
2108 uint32_t authTimer
= 0;
2111 uint8_t cardWRBL
= 0;
2112 uint8_t cardAUTHSC
= 0;
2113 uint8_t cardAUTHKEY
= 0xff; // no authentication
2114 //uint32_t cardRn = 0;
2115 uint32_t cardRr
= 0;
2117 //uint32_t rn_enc = 0;
2119 uint32_t cardINTREG
= 0;
2120 uint8_t cardINTBLOCK
= 0;
2121 struct Crypto1State mpcs
= {0, 0};
2122 struct Crypto1State
*pcs
;
2125 uint8_t* receivedCmd
= eml_get_bigbufptr_recbuf();
2126 uint8_t *response
= eml_get_bigbufptr_sendbuf();
2128 static uint8_t rATQA
[] = {0x04, 0x00}; // Mifare classic 1k 4BUID
2130 static uint8_t rUIDBCC1
[] = {0xde, 0xad, 0xbe, 0xaf, 0x62};
2131 static uint8_t rUIDBCC2
[] = {0xde, 0xad, 0xbe, 0xaf, 0x62}; // !!!
2133 static uint8_t rSAK
[] = {0x08, 0xb6, 0xdd};
2134 static uint8_t rSAK1
[] = {0x04, 0xda, 0x17};
2136 static uint8_t rAUTH_NT
[] = {0x01, 0x02, 0x03, 0x04};
2137 // static uint8_t rAUTH_NT[] = {0x1a, 0xac, 0xff, 0x4f};
2138 static uint8_t rAUTH_AT
[] = {0x00, 0x00, 0x00, 0x00};
2144 // Authenticate response - nonce
2145 uint32_t nonce
= bytes_to_num(rAUTH_NT
, 4);
2147 // get UID from emul memory
2148 emlGetMemBt(receivedCmd
, 7, 1);
2149 _7BUID
= !(receivedCmd
[0] == 0x00);
2150 if (!_7BUID
) { // ---------- 4BUID
2153 emlGetMemBt(rUIDBCC1
, 0, 4);
2154 rUIDBCC1
[4] = rUIDBCC1
[0] ^ rUIDBCC1
[1] ^ rUIDBCC1
[2] ^ rUIDBCC1
[3];
2155 } else { // ---------- 7BUID
2159 emlGetMemBt(&rUIDBCC1
[1], 0, 3);
2160 rUIDBCC1
[4] = rUIDBCC1
[0] ^ rUIDBCC1
[1] ^ rUIDBCC1
[2] ^ rUIDBCC1
[3];
2161 emlGetMemBt(rUIDBCC2
, 3, 4);
2162 rUIDBCC2
[4] = rUIDBCC2
[0] ^ rUIDBCC2
[1] ^ rUIDBCC2
[2] ^ rUIDBCC2
[3];
2165 // -------------------------------------- test area
2167 // -------------------------------------- END test area
2168 // start mkseconds counter
2171 // We need to listen to the high-frequency, peak-detected path.
2172 SetAdcMuxFor(GPIO_MUXSEL_HIPKD
);
2175 FpgaWriteConfWord(FPGA_MAJOR_MODE_HF_ISO14443A
| FPGA_HF_ISO14443A_TAGSIM_LISTEN
);
2178 if (MF_DBGLEVEL
>= 1) Dbprintf("Started. 7buid=%d", _7BUID
);
2179 // calibrate mkseconds counter
2184 if(BUTTON_PRESS()) {
2188 // find reader field
2189 // Vref = 3300mV, and an 10:1 voltage divider on the input
2190 // can measure voltages up to 33000 mV
2191 if (cardSTATE
== MFEMUL_NOFIELD
) {
2192 vHf
= (33000 * AvgAdc(ADC_CHAN_HF
)) >> 10;
2193 if (vHf
> MF_MINFIELDV
) {
2194 cardSTATE_TO_IDLE();
2199 if (cardSTATE
!= MFEMUL_NOFIELD
) {
2200 res
= EmGetCmd(receivedCmd
, &len
, RECV_CMD_SIZE
); // (+ nextCycleTimeout)
2202 cardSTATE
= MFEMUL_NOFIELD
;
2209 //nextCycleTimeout = 0;
2211 // if (len) Dbprintf("len:%d cmd: %02x %02x %02x %02x", len, receivedCmd[0], receivedCmd[1], receivedCmd[2], receivedCmd[3]);
2213 if (len
!= 4 && cardSTATE
!= MFEMUL_NOFIELD
) { // len != 4 <---- speed up the code 4 authentication
2214 // REQ or WUP request in ANY state and WUP in HALTED state
2215 if (len
== 1 && ((receivedCmd
[0] == 0x26 && cardSTATE
!= MFEMUL_HALTED
) || receivedCmd
[0] == 0x52)) {
2216 selTimer
= GetTickCount();
2217 EmSendCmdEx(rATQA
, sizeof(rATQA
), (receivedCmd
[0] == 0x52));
2218 cardSTATE
= MFEMUL_SELECT1
;
2220 // init crypto block
2223 crypto1_destroy(pcs
);
2228 switch (cardSTATE
) {
2229 case MFEMUL_NOFIELD
:{
2232 case MFEMUL_HALTED
:{
2238 case MFEMUL_SELECT1
:{
2240 if (len
== 2 && (receivedCmd
[0] == 0x93 && receivedCmd
[1] == 0x20)) {
2241 EmSendCmd(rUIDBCC1
, sizeof(rUIDBCC1
));
2247 (receivedCmd
[0] == 0x93 && receivedCmd
[1] == 0x70 && memcmp(&receivedCmd
[2], rUIDBCC1
, 4) == 0)) {
2249 EmSendCmd(rSAK
, sizeof(rSAK
));
2251 EmSendCmd(rSAK1
, sizeof(rSAK1
));
2253 cuid
= bytes_to_num(rUIDBCC1
, 4);
2255 cardSTATE
= MFEMUL_WORK
;
2257 if (MF_DBGLEVEL
>= 4) Dbprintf("--> WORK. anticol1 time: %d", GetTickCount() - selTimer
);
2260 cardSTATE
= MFEMUL_SELECT2
;
2267 case MFEMUL_SELECT2
:{
2270 if (len
== 2 && (receivedCmd
[0] == 0x95 && receivedCmd
[1] == 0x20)) {
2271 EmSendCmd(rUIDBCC2
, sizeof(rUIDBCC2
));
2277 (receivedCmd
[0] == 0x95 && receivedCmd
[1] == 0x70 && memcmp(&receivedCmd
[2], rUIDBCC2
, 4) == 0)) {
2278 EmSendCmd(rSAK
, sizeof(rSAK
));
2280 cuid
= bytes_to_num(rUIDBCC2
, 4);
2281 cardSTATE
= MFEMUL_WORK
;
2283 if (MF_DBGLEVEL
>= 4) Dbprintf("--> WORK. anticol2 time: %d", GetTickCount() - selTimer
);
2287 // i guess there is a command). go into the work state.
2288 if (len
!= 4) break;
2289 cardSTATE
= MFEMUL_WORK
;
2295 //rn_enc = bytes_to_num(receivedCmd, 4);
2296 //cardRn = rn_enc ^ crypto1_word(pcs, rn_enc , 1);
2297 cardRr
= bytes_to_num(&receivedCmd
[4], 4) ^ crypto1_word(pcs
, 0, 0);
2299 if (cardRr
!= prng_successor(nonce
, 64)){
2300 if (MF_DBGLEVEL
>= 4) Dbprintf("AUTH FAILED. cardRr=%08x, succ=%08x", cardRr
, prng_successor(nonce
, 64));
2301 cardSTATE_TO_IDLE();
2304 ans
= prng_successor(nonce
, 96) ^ crypto1_word(pcs
, 0, 0);
2305 num_to_bytes(ans
, 4, rAUTH_AT
);
2307 EmSendCmd(rAUTH_AT
, sizeof(rAUTH_AT
));
2308 cardSTATE
= MFEMUL_AUTH2
;
2310 cardSTATE_TO_IDLE();
2312 if (cardSTATE
!= MFEMUL_AUTH2
) break;
2316 cardSTATE
= MFEMUL_WORK
;
2317 if (MF_DBGLEVEL
>= 4) Dbprintf("AUTH COMPLETED. sec=%d, key=%d time=%d", cardAUTHSC
, cardAUTHKEY
, GetTickCount() - authTimer
);
2321 lbWORK
: if (len
== 0) break;
2323 if (cardAUTHKEY
== 0xff) {
2324 // first authentication
2325 if (len
== 4 && (receivedCmd
[0] == 0x60 || receivedCmd
[0] == 0x61)) {
2326 authTimer
= GetTickCount();
2328 cardAUTHSC
= receivedCmd
[1] / 4; // received block num
2329 cardAUTHKEY
= receivedCmd
[0] - 0x60;
2332 crypto1_create(pcs
, emlGetKey(cardAUTHSC
, cardAUTHKEY
));
2333 ans
= nonce
^ crypto1_word(pcs
, cuid
^ nonce
, 0);
2334 num_to_bytes(nonce
, 4, rAUTH_AT
);
2335 EmSendCmd(rAUTH_AT
, sizeof(rAUTH_AT
));
2338 // last working revision
2339 // EmSendCmd14443aRaw(resp1, resp1Len, 0);
2340 // LogTrace(NULL, 0, GetDeltaCountUS(), 0, true);
2342 cardSTATE
= MFEMUL_AUTH1
;
2343 //nextCycleTimeout = 10;
2348 mf_crypto1_decrypt(pcs
, receivedCmd
, len
);
2350 // nested authentication
2351 if (len
== 4 && (receivedCmd
[0] == 0x60 || receivedCmd
[0] == 0x61)) {
2352 authTimer
= GetTickCount();
2354 cardAUTHSC
= receivedCmd
[1] / 4; // received block num
2355 cardAUTHKEY
= receivedCmd
[0] - 0x60;
2358 crypto1_create(pcs
, emlGetKey(cardAUTHSC
, cardAUTHKEY
));
2359 ans
= nonce
^ crypto1_word(pcs
, cuid
^ nonce
, 0);
2360 num_to_bytes(ans
, 4, rAUTH_AT
);
2361 EmSendCmd(rAUTH_AT
, sizeof(rAUTH_AT
));
2364 cardSTATE
= MFEMUL_AUTH1
;
2365 //nextCycleTimeout = 10;
2370 // rule 13 of 7.5.3. in ISO 14443-4. chaining shall be continued
2371 // BUT... ACK --> NACK
2372 if (len
== 1 && receivedCmd
[0] == CARD_ACK
) {
2373 EmSend4bit(mf_crypto1_encrypt4bit(pcs
, CARD_NACK_NA
));
2377 // rule 12 of 7.5.3. in ISO 14443-4. R(NAK) --> R(ACK)
2378 if (len
== 1 && receivedCmd
[0] == CARD_NACK_NA
) {
2379 EmSend4bit(mf_crypto1_encrypt4bit(pcs
, CARD_ACK
));
2384 if (len
== 4 && receivedCmd
[0] == 0x30) {
2385 if (receivedCmd
[1] >= 16 * 4 || receivedCmd
[1] / 4 != cardAUTHSC
) {
2386 EmSend4bit(mf_crypto1_encrypt4bit(pcs
, CARD_NACK_NA
));
2389 emlGetMem(response
, receivedCmd
[1], 1);
2390 AppendCrc14443a(response
, 16);
2391 mf_crypto1_encrypt(pcs
, response
, 18, &par
);
2392 EmSendCmdPar(response
, 18, par
);
2397 if (len
== 4 && receivedCmd
[0] == 0xA0) {
2398 if (receivedCmd
[1] >= 16 * 4 || receivedCmd
[1] / 4 != cardAUTHSC
) {
2399 EmSend4bit(mf_crypto1_encrypt4bit(pcs
, CARD_NACK_NA
));
2402 EmSend4bit(mf_crypto1_encrypt4bit(pcs
, CARD_ACK
));
2403 //nextCycleTimeout = 50;
2404 cardSTATE
= MFEMUL_WRITEBL2
;
2405 cardWRBL
= receivedCmd
[1];
2409 // works with cardINTREG
2411 // increment, decrement, restore
2412 if (len
== 4 && (receivedCmd
[0] == 0xC0 || receivedCmd
[0] == 0xC1 || receivedCmd
[0] == 0xC2)) {
2413 if (receivedCmd
[1] >= 16 * 4 ||
2414 receivedCmd
[1] / 4 != cardAUTHSC
||
2415 emlCheckValBl(receivedCmd
[1])) {
2416 EmSend4bit(mf_crypto1_encrypt4bit(pcs
, CARD_NACK_NA
));
2419 EmSend4bit(mf_crypto1_encrypt4bit(pcs
, CARD_ACK
));
2420 if (receivedCmd
[0] == 0xC1)
2421 cardSTATE
= MFEMUL_INTREG_INC
;
2422 if (receivedCmd
[0] == 0xC0)
2423 cardSTATE
= MFEMUL_INTREG_DEC
;
2424 if (receivedCmd
[0] == 0xC2)
2425 cardSTATE
= MFEMUL_INTREG_REST
;
2426 cardWRBL
= receivedCmd
[1];
2433 if (len
== 4 && receivedCmd
[0] == 0xB0) {
2434 if (receivedCmd
[1] >= 16 * 4 || receivedCmd
[1] / 4 != cardAUTHSC
) {
2435 EmSend4bit(mf_crypto1_encrypt4bit(pcs
, CARD_NACK_NA
));
2439 if (emlSetValBl(cardINTREG
, cardINTBLOCK
, receivedCmd
[1]))
2440 EmSend4bit(mf_crypto1_encrypt4bit(pcs
, CARD_NACK_NA
));
2442 EmSend4bit(mf_crypto1_encrypt4bit(pcs
, CARD_ACK
));
2448 if (len
== 4 && (receivedCmd
[0] == 0x50 && receivedCmd
[1] == 0x00)) {
2451 cardSTATE
= MFEMUL_HALTED
;
2452 if (MF_DBGLEVEL
>= 4) Dbprintf("--> HALTED. Selected time: %d ms", GetTickCount() - selTimer
);
2456 // command not allowed
2458 EmSend4bit(mf_crypto1_encrypt4bit(pcs
, CARD_NACK_NA
));
2465 case MFEMUL_WRITEBL2
:{
2467 mf_crypto1_decrypt(pcs
, receivedCmd
, len
);
2468 emlSetMem(receivedCmd
, cardWRBL
, 1);
2469 EmSend4bit(mf_crypto1_encrypt4bit(pcs
, CARD_ACK
));
2470 cardSTATE
= MFEMUL_WORK
;
2473 cardSTATE_TO_IDLE();
2479 case MFEMUL_INTREG_INC
:{
2480 mf_crypto1_decrypt(pcs
, receivedCmd
, len
);
2481 memcpy(&ans
, receivedCmd
, 4);
2482 if (emlGetValBl(&cardINTREG
, &cardINTBLOCK
, cardWRBL
)) {
2483 EmSend4bit(mf_crypto1_encrypt4bit(pcs
, CARD_NACK_NA
));
2484 cardSTATE_TO_IDLE();
2487 cardINTREG
= cardINTREG
+ ans
;
2488 cardSTATE
= MFEMUL_WORK
;
2491 case MFEMUL_INTREG_DEC
:{
2492 mf_crypto1_decrypt(pcs
, receivedCmd
, len
);
2493 memcpy(&ans
, receivedCmd
, 4);
2494 if (emlGetValBl(&cardINTREG
, &cardINTBLOCK
, cardWRBL
)) {
2495 EmSend4bit(mf_crypto1_encrypt4bit(pcs
, CARD_NACK_NA
));
2496 cardSTATE_TO_IDLE();
2499 cardINTREG
= cardINTREG
- ans
;
2500 cardSTATE
= MFEMUL_WORK
;
2503 case MFEMUL_INTREG_REST
:{
2504 mf_crypto1_decrypt(pcs
, receivedCmd
, len
);
2505 memcpy(&ans
, receivedCmd
, 4);
2506 if (emlGetValBl(&cardINTREG
, &cardINTBLOCK
, cardWRBL
)) {
2507 EmSend4bit(mf_crypto1_encrypt4bit(pcs
, CARD_NACK_NA
));
2508 cardSTATE_TO_IDLE();
2511 cardSTATE
= MFEMUL_WORK
;
2519 FpgaWriteConfWord(FPGA_MAJOR_MODE_OFF
);
2522 // add trace trailer
2523 memset(rAUTH_NT
, 0x44, 4);
2524 LogTrace(rAUTH_NT
, 4, 0, 0, TRUE
);
2526 if (MF_DBGLEVEL
>= 1) Dbprintf("Emulator stopped. Tracing: %d trace length: %d ", tracing
, traceLen
);