Mishra, Abhishek (2022) Security Proof of the BB84 protocol and Device Independent Randomness Certification. Masters thesis, Indian Instritute of Science Education and Research Kolkata.