CBC integrity value verification and more specs