Some Nespresso Pro machines in Europe could be hacked to add unlimited funds to purchase coffee. The attack is possible because the machines use a smart card payment system that leverages insecure technology, the MIFARE Classic smart cards.
The vulnerability was disclosed by the security researcher Polle Vanhoof.
The Mifare Classic smart card technology is known to be insecure since 2008, when security researchers from Radboud University Nijmegen performed reverse engineering of the chip and published their findings.
The experts demonstrated how to clone and manipulate the contents of a MIFARE Classic chip.
The chipmaker NXP Semiconductor tried to stop the publication of the research by requesting a preliminary injunction that was denied.
Then NXP Semiconductor recommended customers to use its Mifare Plus cards that use AES-128.
The researchers wrote a Python script that used to crack the weak encryption and dumped the card’s binary.
The researcher was able to crack the keys and dumping the smartcard.
“To start things off, we will want to crack any non-default keys present on the Nespresso card.” wrote the expert. We can easily do this using the mfoc tool. We run the following command:
mfoc -P 500 -O nespresso.dmp
“We see in the output below that the card uses default keys for most sectors except the last 4. It takes the tool a couple of minutes to break the remaining 4 keys and they are dumped to our screen.”
Then he was able to manually grab the keys that were found in the data dump.
In the second part of the attack, the expert attempted to find the field associated with the funds while purchasing a coffee. To do this he made different purchases with different amounts of money.
“We are working on the assumption that the value of the card is kept on the card itself rather than on some centralized server. This is a much simpler and cost effective design, requiring less hardware and software to implement, making it a likely choice for anyone developing such a system unaware of the security weaknessess of the MIFARE Classic.” Vanhoof added. “We charge our card with some value.”
Once identified the bytes on the card that were changing while purchasing the coffee (three bytes), Vanhoof demonstrated that by altering them he was able to manipulate the money amount to pay the coffee. He wrote a value of €167,772.15 on the card using the nfc-mfclassic tool.
The expert also provided potential mitigations to secure the payment process such as:
“After talking to Nespresso, it seems they already offer both of these options. Clients concerned with the security of their systems should look into these alternatives.” concludes the expert.
Below the disclosure timeline:
If you want to receive the weekly Security Affairs Newsletter for free subscribe here.
|[adrotate banner=”9″]||[adrotate banner=”12″]|
(SecurityAffairs – hacking, Nespresso)