19 citations · 22 across the 6 of their papers we have counts for
7 papers
Combining Error Verification and Privacy Amplification in Quantum Key Distribution
Devashish Tupkary, Zhiyao Wang, Ernest Y. -Z. Tan
Quantum Key Distribution (QKD) protocols typically involve two separate steps of error-verification and privacy amplification. Both steps involve the application of a hash function…
A rigorous and complete security proof of decoy-state BB84 quantum key distribution
Devashish Tupkary, Shlok Nahar, Amir Arqand +2
We present a rigorous and complete security proof of the decoy-state BB84 quantum key distribution (QKD) protocol. Our analysis aims to achieve a high standard of mathematical rigo…
Authentication in Security Proofs for Quantum Key Distribution
Devashish Tupkary, Shlok Nahar, Ernest Y. -Z. Tan
Quantum Key Distribution (QKD) protocols rely on authenticated classical communication. Typical QKD security proofs are carried out in an idealized setting where authentication is…
Incorporating device characterization into security proofs
Ernest Y. -Z. Tan, Shlok Nahar
Typical security proofs for quantum key distribution (QKD) rely on having some model for the devices, with the security guarantees implicitly relying on the values of various param…
Rényi security framework against coherent attacks applied to decoy-state QKD
Lars Kamin, John Burniston, Ernest Y. -Z. Tan
We develop a flexible and robust framework for finite-size security proofs of quantum key distribution (QKD) protocols under coherent attacks, applicable to both fixed- and variabl…
Security proofs for practical QKD: variations, techniques, gaps, and limitations
Devashish Tupkary, Ernest Y. -Z. Tan, Shlok Nahar +2
We review the current status of security proofs for practical decoy-state Quantum Key Distribution using the BB84 protocol, focusing on optical implementations with weak coherent p…
Postselection technique for optical Quantum Key Distribution with improved de Finetti reductions
Shlok Nahar, Devashish Tupkary, Yuming Zhao +2
The postselection technique is an important proof technique for proving the security of quantum key distribution protocols against coherent attacks. In this work, we go through mul…