Proxmark3

Proxmark3 is based on field-programmable gate array (FPGA) technology, which allows the implementation of high-performance low-level analog signal processing, modulation and demodulation. A separate microcontroller processes demodulated frames. Such setup potentially allows any RFID protocol to be implemented in Proxmark3's software. Antennas Two independent antenna circuits are used for low frequencies (LF) 125 kHz and 134 kHz, and high frequency (HF) 13.56 MHz. Initially, both antennas were connected with a shared 4-pin Hirose USB connector, which was unreliable at times. Subsequent revisions have opted to use a separate connector for each antenna. ADC 8-bit Analog-to-digital converter (ADC) receives an analog signal from the antenna circuit, digitizes it and outputs the digital signal to the FPGA. FPGA Field-programmable gate array does both the low-level modulation when transmitting data from CPU and demodulation when receiving a signal from an ADC. It can process various modulations such as on–off keying (OOK), amplitude-shift keying (ASK), etc. The FPGA works in two ways: as reader generating electromagnetic field for cards, or as card waiting for reader field. CPU The ARM microcontroller is responsible for the protocol part. It encodes and decodes the frames (Manchester, Miller, etc) and performs more advanced functions. The CPU can reply back to the FPGA after signal handling, thus implementing the transport layer. The CPU also manages the USB communication with the PC client application. Flash memory Flash memory is used to store firmware. The early versions of Proxmark3 only had 64 kB of flash memory, but as firmware developed that became scarce and versions with 512 kB appeared. The firmware itself consists of ARM code and an FPGA image (which is loaded by the ARM). The FPGA communicates with the ARM through either its SPI port (the ARM is the master) or its generic SSP. The SPI is used for FPGA configuration. The SSP is used for data sent over the air. == Software ==

At the time Proxmark3 was developed, SDR was a hard to access technology. For that reason a split FPGA/MCU architecture was designed: an FPGA handles low-level functionality such as modulation/demodulation, while a microcontroller cares for the high-level functionality (command-line interface, protocol encoding/decoding, etc). While the FPGA/MCU architecture is technically outdated, it remained unchanged throughout hardware revisions. This allowed different versions to use the same firmware and resulted in a large code-base. However, with time the Proxmark3 codebase became increasingly fractured and hardware instabilities started to appear. As a result, some implementations refine and optimize the code (for example Proxmark3 RDV4), while others use the original Proxmark3 codebase (for example Proxmark3 EVO). New firmware versions use CDC serial interface to communicate with the client. Signal samples may be handled by the PC client, it can plot received data to assist in analyzing unknown signals. == Community ==

Since Proxmark3's release in 2007 several RFID enthusiasts have been extending its functionality. Proxmark3 community has seen rapid growth after the release of firmware supporting the ISO/IEC 14443-A standard and appearing successful attacks on Mifare Classic. The Proxmark3 forum (registration required) became one of the main hubs for RFID system vulnerability discussion frequented by security researchers focusing on electronic access control (EAC) systems. The Proxmark community also houses developers of other RFID research tools: for example LibNFC. The community Discord server was later created to host both text and voice discussions on the topic of EAC system security. It had about 3000 members at the end of 2021. == Use in research ==

The Proxmark3 has been used by several security researchers to discover vulnerabilities. Examples of such research follow. MIFARE Classic cards attacks: • Darkside attack (Nijmegen/Oakland Group, 2009)– recovering at least one key from any sector of the card. This works for every card, but takes a long time. Darkside uses mfoc (Mifare Offline Cracker) tool from libnfc stack. • Nested attack (Nicolas T. Curtois, 2009) – If one sector is encrypted with a known key, other sectors are crackable in a short amount of time. There is also the updated version of this attack – Hardnested. Using mfcuk (Mifare Classic universal toolkit) tool from libnfc stack. Mifare Classic paper: • A practical attack on the MIFARE Classic MIFARE DESFire paper: • An investigation of possible attacks on the MIFARE DESFire EV1 smartcard used in public transportation HID iClass papers: • Heart of darkness – exploring the uncharted backwaters of HID iCLASS security Hitag paper: • Gone in 360 Seconds: Hijacking with Hitag2 Megamos paper: • Dismantling Megamos Crypto: Wirelessly Lockpicking a Vehicle Immobilizer NFC papers: • Practical attacks on NFC enabled cell phones == References ==