Login / Signup
"Do this! Do that!, And nothing will happen" Do specifications lead to securely stored passwords?
Joseph Hallett
Nikhil Patnaik
Benjamin Shreeve
Awais Rashid
Published in:
CoRR (2021)
Keyphrases
</>
database
delay insensitive
storage and retrieval
real time
databases
website
natural language
third party
formal specification
functional requirements
user authentication