Many of today’s audiovisual application systems offer some kind of interactivity. Yet, quality assessments of these systems are often performed without taking into account the po...
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
While data privacy is a human right, it is challenging to enforce it. For example, if multiple retailers execute a single order at Amazon Marketplace, each retailer can use diffe...
One of the important challenges faced by designers of online communities is eliciting sufficent contributions from community members. Users in online communities may have difficul...
Al Mamunur Rashid, Kimberly S. Ling, Regina D. Tas...
Text-based passwords are the most common mechanism for authenticating humans to computer systems. To prevent users from picking passwords that are too easy for an adversary to gue...
Saranga Komanduri, Richard Shay, Patrick Gage Kell...