Simulation and analysis of a QKD-PQC protocol for secure communication channel authentication | Synapse