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 ...

After receiving an HTTP GET request, the servlet first obtains the resource corresponding to the requested URL. The exact method of obtaining the resource depends on whether the resource is static or ...

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 ...

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