@misc{cryptoeprint:2004:019,
    author = {Tetsu Iwata and Tadayoshi Kohno},
    title = {New Security Proofs for the 3GPP Confidentiality and Integrity Algorithms},
    howpublished = {Cryptology ePrint Archive, Report 2004/019},
    year = {2004},
    url = {http://eprint.iacr.org/2004/019},
}