Coming soon

This note is part of the notebook and is planned, but has not been written yet.

Planned coverage: Device-independent quantum key distribution, certified by Bell-inequality violation.