Theoretical and Practical Aspects of the Migration to Post Quantum Cryptography