Unfortunately the documents regarding encryption aren't exactly in-depth. While they point out how important the encryption key is, there is no information how the key itself is stored. Where is it stored, how is secured? Is there any relationship between the ATA key and the AES key? And finally is there any independent certification of the encryption implementation used?