On September 15, 2021 our SP2 doctoral candidate Petra Sala successfully defended her thesis titled: “Attacks and Security Proofs of Password Authenticated Key-Exchange Protocols”