EAGER

The security of the national computing infrastructure is critical for consumer confidence, protection of privacy, protection of valuable intellectual property, and even national security. Logic-based approaches to security have been gaining popularity, in part because they provide a precise way to describe and reason about the kinds of complexity found in real systems. Perhaps even more importantly, automated reasoning techniques can be used to assist users in navigating this complexity. Despite the promise of automated reasoning, its use in practical applications is still limited.

A fundamental tension exists between transparency and privacy in electronic voting. Electoral transparency requires access to primary voter records, so observers can be sure that the election was run appropriately. Ballot privacy---keeping ballot contents separate from information that can identify the voter---is required to prevent coercion and vote-selling. If we discard either transparency or privacy, voting becomes much simpler: without transparency, ballots can be perfectly private; with no privacy requirement, elections can be perfectly transparent.

Network testbeds have revolutionized evaluation practices in computer science.

Over the last decade many diverse testbeds have been built throughout the world, and the trend of building faster, bigger, and more diverse testbeds continues. On the other hand, there have been no studies on testbed use. Specifically, who uses testbeds, for what types of research, and what are the use patterns and practices.

Answering these question would help testbed builders and funders understand the impact of their work and direct their efforts to maximize the payoff.

For many current Internet applications, users experience a crisis of confidence. Is the website really served from the correct server or was it altered in transit? Is the Facebook invitation really originating from the claimed individual or was it created by an impostor? Is the received email from the claimed individual or was it sent by a spammer? The PI's proposed work is based on the observation that individuals often have physical interactions with resources or other individuals they communicate with. Often, people communicate over the Internet after having met in person.

This research studies new mechanisms for enabling the consumer of the service to reduce the visibility of consumer computations to the service provider and thereby reduce the trust that the consumer places in the provider. At the same time, the mechanisms allow security of the cloud computing environment to be monitored by a trusted third party. The work also develops a quantified method to evaluate the degree to which a user's privacy is disclosed and tools for monitoring causality relationships.