Miguel Grilo, João Campos, João F. Ferreira 0001, José Bacelar Almeida, Alexandra Mendes. Verified Password Generation from Password Composition Policies. In Maurice H. ter Beek, Rosemary Monahan, editors, Integrated Formal Methods - 17th International Conference, IFM 2022, Lugano, Switzerland, June 7-10, 2022, Proceedings. Volume 13274 of Lecture Notes in Computer Science, pages 271-288, Springer, 2022. [doi]
Abstract is missing.