@kenshirriff There are some talks on reverse engineering those.
media.ccc.de/v/24c3-2378-en-mi
I think they later renamed that series to the "Mifare Ultralight".