New security proofs for the 3GPP confidentiality and integrity algorithms (2004)

by T Iwata, T Kohno
Venue:FSE 2004, volume 3017 of LNCS