Introduction.- Preliminaries: Basics and Notation.- Preliminaries: Device-independent Concepts.- Introduction to the Showcases.- Single-round Box.- Multi-round Box.- Working Under the IID Assumption.- Reductions to IID: Parallel Interaction.- Reductions to IID: Sequential Interaction.- Showcase: Non-signalling Parallel Repetition.- Showcase: Device-independent Quantum Cryptography.- Outlook.- Appendix.