Login / Signup
Safer "5-key" number entry user interfaces using differential formal analysis.
Abigail Cauchi
Andy Gimblett
Harold W. Thimbleby
Paul Curzon
Paolo Masci
Published in:
BCS HCI (2012)
Keyphrases
</>
formal analysis
user interface
database systems
computational complexity
human computer interaction
information security