Efficient disk encryption and verification through trusted nonce | IEEE Conference Publication | IEEE Xplore