Given this paragraph about Password-authenticated key exchange, what year were the first provably-secure protocols created?

Context: The first successful password-authenticated key agreement methods were Encrypted Key Exchange methods described by Steven M. Bellovin and Michael Merritt in 1992. Although several of the first methods were flawed, the surviving and enhanced forms of EKE effectively amplify a shared password into a shared key, which can then be used for encryption and/or message authentication. The first provably-secure PAKE protocols were given in work by M. Bellare, D. Pointcheval, and P. Rogaway and V. Boyko, P. MacKenzie, and S. Patel. These protocols were proven secure in the so-called random oracle model, and the first protocols proven secure under standard assumptions were those of O. Goldreich and Y. Lindell which serves as a plausibility proof but is not efficient, and J. Katz, R. Ostrovsky, and M. Yung which is practical.

The first password-authenticated key retrieval methods were described by Ford and Kaliski in 2000.

A considerable number of alternative, secure PAKE protocols were given in work by M. Bellare, D. Pointcheval, and P. Rogaway, variations, and security proofs have been proposed in this growing class of password-authenticated key agreement methods. Current standards for these methods include IETF RFC 2945, RFC 5054, RFC 5931, RFC 5998, RFC 6124, RFC 6617, RFC 6628 and RFC 6631, IEEE Std 1363.2-2008, ITU-T X.1035 and ISO-IEC 11770-4:2006.

Answer: 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.