"Do this! Do that!, And nothing will happen" Do specifications lead to securely stored passwords?

Joseph Hallett, Nikhil Patnaik, Benjamin Shreeve, Awais Rashid

Browse the full ICSE paper archive.