Juan Antonio Vieira Giestinhas

The information-theoretical security (ITS) of Quantum Key Distribution (QKD) relies on the presence of an ITS authenticated channel. Typically, implementations often keep the whole process ITS by pre-sharing secret key material which is required to perform ITS authentication. Pre-sharing key material is not necessarily practical when parties are separated by hundreds of kilometers, however, Post Quantum Cryptography (PQC) along with Public Key Infrastructure (PKI) could be used to cover said inconvenience. This work defines a realistic bounded adversary and adapts a security framework, tools used to prove that the keys distilled through QKD remain ITS when authentication is handled with PQC and PKI.