In the last few years. several studies addressed the problem of data security in Mifare Classic. One of its weaknesses is the low random number quality. This causes SAT solver attacks to have lower complexity. https://www.roneverhart.com/Tokidoki-X-Hello-Kitty-and-Friends-1-Blind-Box/