C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
"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