@misc{indiciae245faa6f7760, title = {"Do this! Do that!, And nothing will happen" Do specifications lead to securely stored passwords?}, author = {Joseph Hallett and Nikhil Patnaik and Benjamin Shreeve and Awais Rashid}, year = {2021}, url = {https://arxiv.org/abs/2102.09790}, note = {Source identifier: 2102.09790} }