COVERT is a tool for compositional verification of Android inter-application vulnerabilities. It automatically identifies vulnerabilities that occur due to the interaction of apps comprising a system. Subsequently, it determines whether it is safe for a bundle of apps, requiring certain permissions and potentially interacting with each other, to be installed together.
Given the availability of large-scale source-code repositories, there have been a large number of applications for clone detection. Unfortunately, despite a decade of active research, there is a marked lack in clone detectors that scale to large software repositories. In particular for detecting near-miss clones where significant editing activities may take place in the cloned code.
Trust is important for effective coordination in global software development teams. However, the co-evolution of trust and coordination is often neglected. To fill the gap, we develop an evolutionary game theory model. Using the Behavior-Preference-Constraint (BPC) model and Adaptive Play, the model challenges the traditional view of trust as a static “resource” for coordination and proposes an alternative view that trust dynamically restricts people’s action choices in interacting with other team members.
Bitcoin is a digital currency and payment platform that has been the source of much media attention. The currency is not backed by a government like most conventional currencies but is part of a democratic and dencentralized movement. Bitcoin transactions are pseudo-anonymous in a similar way to cash money. Why do people use this currency? How do their political values align with their usage of bitcoin? Furthermore, how does the community regulate itself in the absence of a formal hierarchical structure? Lastly, how do anonymous users form communities?
Scientists are always working to determine which articles are interesting to them, timely, and relevant to their research. If working in an unfamiliar research area, searching for papers becomes even more difficult. By allowing users to vote on the prominence of links, social news sites like Slashdot, Digg, and reddit.com have addressed the issue of surfacing new and interesting content from across the internet. Moreover, they provide opportunities to provide context and comment on the content.
The broad goal of this project is to understand how to combine sustainability knowledge with information and communication technology (ICT) in creating sustainable communities. The Transition Movement is a global social experiment aiming to promote sustainable living and build ecological resilience in the near future at local levels. The Transition movement began in 2005 in Totnes, UK, a market town in South Devon. Today there are about 1000 registered Transition towns in 34 countries.
When a live site is down or time is of the essence, software teams mobilize to fix bugs as fast as possible. How might such important bugs be fixed more quickly? One answer is through crowdsourcing, where ad-hoc participants are each given small, self-contained microtasks that are then aggregated into an overall solution. To explore this idea, we are currently designing new techniques and tools for crowd debugging.
The fantasy genre has captivated our attention in popular media for decades, providing us with inspiring imagery of valiant fighters and enchanting spell casters. Guild Wars 2, a massively multiplayer online game (MMO), introduces a range of races and characters not found in the traditional fantasy genre. When first experiencing a new fantasy world, does knowledge and information gained from previously consumed media influence players’ interpretations of new fantasy environments?
ISR
