Finite-key analysis for practical implementations of quantum key distribution | Synapse