de Finetti Representation Theorem for Infinite-Dimensional Quantum Systems and Applications to Quantum Cryptography | Synapse