Reasoning Analytically about Password-Cracking Software. - Enze Liu 001; Amanda Nakanishi; Maximilian Golla; David Cash; Blase Ur (IEEE Symposium on Security and Privacy, 2019)