Practical Attack on Bluetooth Encryption -- Unconditional Characterizations of