International Association for Cryptologic Research

International Association
for Cryptologic Research

CryptoDB

Zero-knowledge-like Proof of Cryptanalysis of Bluetooth Encryption

Authors:
Eric Filiol
Download:
URL: http://eprint.iacr.org/2006/303
Search ePrint
Search Google
Abstract: This paper presents a protocol aiming at proving that an encryption system contains structural weaknesses without disclosing any information on those weaknesses. A verifier can check in a polynomial time that a given property of the cipher system output has been effectively realized. This property has been chosen by the prover in such a way that it cannot been achieved by known attacks or exhaustive search but only if the prover indeed knows some unknown weaknesses that may effectively endanger the cryptosystem security. This protocol has been denoted {\em zero-knowledge-like proof of cryptanalysis}. In this paper, we apply this protocol to the Bluetooth core encryption algorithm E0, used in many mobile environments and thus we prove that its security can seriously be put into question.
BibTeX
@misc{eprint-2006-21794,
  title={Zero-knowledge-like Proof of Cryptanalysis of Bluetooth Encryption},
  booktitle={IACR Eprint archive},
  keywords={secret-key cryptography / cryptanalysis - stream ciphers - zero knowledge},
  url={http://eprint.iacr.org/2006/303},
  note={Published in the International Journal  in Information Technology Eric.Filiol@inria.fr 13632 received 3 Sep 2006, last revised 29 Apr 2007},
  author={Eric Filiol},
  year=2006
}