Rather than:
In [1] we initialize a random salt that will be used in the encryption.
I'd say
In [1] we initialize a random salt that will be used to derive the encryption key.