Work as a post-doctorate or early career professional in computer science or related field Describe limited funding, unemployment status, or other barriers to being able to readily attend this USENIX ...

To apply, fill out the application below: ...

Submissions for this form are closed.

Our protocol contains the following message types: ...

Figure 1: The simplified NetBill protocol.

Consumers face two types of trojan horse challenges when they engage in electronic commerce on the World Wide Web.

The speculative execution approach exploits the increasing abundance of spare processing cycles to automate prefetching for applications that stall on disk I/O. Usually, when an application needs some ...

The console logs generated by an application contain messages that the application developers believed would be useful in debugging or monitoring the application. Despite the ubiquity and large size ...

In this paper we introduce the idea of model inference assisted fuzzing aimed to cost effectively improve software security. We experimented with several model inference techniques and applied fuzzing ...

Ideally, the client (or a client-size proxy) should dynamically download the code that performs the binding. The code can be downloaded together with the data. Such a ...

Every event that leads to sending an HTTP request (such as clicking on a hyperlink or parsing a reference to an embedded image) needs to be intercepted by the Web++ applet in order to bind the logical ...

Laurent D. Michel, Alexander A. Shvartsman, and Nikolaj Volgushev, University of Connecticut ...