CS261 Project Groups

Formal Analysis of Web Protocols Proposal

Devdatta Akhawe. proposal.

Doughface: A logic language for specifying secure distributed systems

Peter Alvaro (+ Neil Conway, Joseph M. Hellerstein, William Marczak). proposal.

XML Literals in Java A XSS and CSRF Defense

Royal Chan, James Ide, Wei Hua Peng. proposal.

Botnet Infiltration through Breaking Protocol Assumptions

Chia Yuan Cho. proposal.

Efficient Trace Alignment for x86 Binary Code

Noah Johnson. proposal.

Algorithmic Complexity Denial-of-Service Attack

Sudeep Juvekar (+ Jacob Burnim + Prateek Saxena). proposal.

Hard-Object: Enforcing Object Interfaces Using Code-Range Data Protection

Kevin Klues, Derrick Coetzee (+ Daniel Wilkerson, Mark Winterrowd, John Kubiatowicz). proposal.

Voting

Brad Miller, Thibaud Hottelier. proposal.

Analysis of security weaknesses in anonymity services

Prashanth Mohan (+ Bill Marczak). proposal.

Automated Cross-Site Request Forgery Detection

Charles Reiss. proposal.

Private set intersection

Emil Stefanov