A semi-definite programming formulation of the device-dependent guessing probability - Raffaele D'Avino; Aurora Mugnai; Miguel Navascués; Antonio Acín; Gabriel Senno (2026)