  Device-independent quantum key distribution (DIQKD) aims to achieve secure
key distribution with only minimal assumptions, by basing its security on the
violation of Bell inequalities. While this offers strong security guarantees,
it comes at the cost of being challenging to implement experimentally. In this
thesis, we present security proofs for several techniques that help to improve
the keyrates and noise tolerance of DIQKD, such as noisy preprocessing, random
key measurements, and advantage distillation. We also show finite-size security
proofs for some protocols based on combining several of these techniques. These
results and proof techniques should be useful for further development of DIQKD
protocols.
