User: Given this paragraph about Password-authenticated key exchange, what year were the first provably-secure protocols created?
Assistant: The first provably-secure protocols for Password-authenticated key exchanges(PAKE) were presented in 2000 at "Eurocrypt 2000" by two groups Mihir Bellare, David Pointcheval and Phillip Rogaway, and Victor Boyko, Philip MacKenzie and Sarvar Patel.