Password Security

Despite years of searching for viable alternatives, text passwords are still the dominant access control mechanism. Together with Saul Johnson and other colleagues, we work on tools and methods to improve password security. Some of our tools are available as open-source tools. See also the publications listed below.

Computer Scientist

My research interests include software reliability, software verification, and formal methods applied to software engineering. I am also interested in interactive storytelling. For more details, see some of my projects or my selected (or recent) publications. More posts are available in my blog. Follow me on Twitter or add me on LinkedIn.