Nilesh, Kumar (2022) Security Proof of Device-Independent Quantum Key Distribution. Masters thesis, Indian Institute of Science Education and Research Kolkata.