PhorceField: a phish-proof password ceremony.

Michael Hart Claude Castille Manoj Harpalani Jonathan Toohill Rob Johnson

Published in: ACSAC (2011)

Keyphrases

information security
theorem proving
data sets
image processing
theorem prover
user authentication
databases
artificial intelligence
decision making
linear logic
keystroke dynamics
proof planning