defeating imsi catchers .
KATAN and KTANTAN -- A Family of Small and Efficient Hardware-Oriented Block Ciphers