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:
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