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:
ICSE (2021)
Keyphrases
</>
database
high level
storage and retrieval
data sets
information security
sensitive data
information systems
decision trees
formal specification
public key
control flow
authentication systems
written in natural language