The applied side of Bell nonlocality

Since its formulation in 1964, Bell's theorem has been classified under "foundations of physics". Ekert's 1991 attempt to relate it to an applied task, quantum cryptography, was quenched by an approach that relied on a different basis and was allegedly equivalent. Ekert's intuition was finally vindicated with the discovery of "device-independent certification" of quantum devices. In this colloquium, I shall revisit the tortuous history of that discovery and mention some of the subsequent results.