We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...
Akshay Krishnamurthy, Adrian Mettler, David Wagner
The demographics of computer-mediated communication (CMC) users have changed considerably over the last twenty years. Whereas in the 1980's it was largely academics, and comp...
Most current interface designs require that the user focus their attention on them in order to be of value. However, as the price of computation falls, and computational capabilit...
Jeremy M. Heiner, Scott E. Hudson, Kenichiro Tanak...
Open source projects are gradually incorporating usability methods into their development practices, but there are still many unmet needs. One particular need for nearly any open ...
Michael Terry, Matthew Kay, Brad Van Vugt, Brandon...
This paper describes an extension to a multimodal system designed to improve Internet accessibility for the visually impaired. Here we discuss the novel application of a grid (pat...
Philip Strain, Graham McAllister, Emma Murphy, Rav...