Computationally exploring mental models to find unanticipated cybersecurity consequences of human-computer interaction
For my dissertation, I'm arguing that we should be able to formally model and analyze human mental models to find unanticipated problems in computer security. But what does that mean and why does it matter?
more ...