| On Subliminal Channels in Encrypt-on-Cast Voting Systems | EVT/WOTE '09 | Ariel J. Feldman, Josh Benaloh |
| Permutations in Prêt à Voter | EVT/WOTE '09 | Peter Y A Ryan, Vanessa Teague |
| Weight, Weight, Don't Tell Me: Using Scales to Select Ballots for Auditing | EVT/WOTE '09 | Cynthia Sturton, David Wagner |
| Automating Voting Terminal Event Log Analysis | EVT/WOTE '09 | Tigran Antonyan, Seda Davtyan, Sotiris Kentros, Aggelos Kiayias, Laurent Michel, Nicolas Nicolaou, Alexander Russell, Alexander Shvartsman |
| On the Security of Election Audits with Low Entropy Randomness | EVT/WOTE '09 | Eric Rescorla |
| Keynote Address | EVT/WOTE '09 | Lawrence Norden |
| Now Do Voters Notice Review Screen Anomalies? A Look at Voting System Usability | EVT/WOTE '09 | Bryan A. Campbell, Michael D. Byrne |
| Style Guide for Voting System Documentation: Why User-Centered Documentation Matters to Voting Security | EVT/WOTE '09 | Dana Chisnell, Susan Becker, Sharon Laskowski, Svetlana Lowry |
 | CiAO: An Aspect-Oriented Operating-System Family for Resource-Constrained Embedded Systems | USENIX ATC '09 | Daniel Lohmann, Wanja Hofer, Wolfgang Schröder-Preikschat, Jochen Streicher, Olaf Spinczyk |
 | Towards Designing Usable Languages | USENIX ATC '09 | Matthew Jadud, Christian L. Jacobsen |
 | Automatically Generating Predicates and Solutions for Configuration Troubleshooting | USENIX ATC '09 | Ya-Yunn Su, Jason Flinn |
 | JustRunIt: Experiment-Based Management of Virtualized Data Centers | USENIX ATC '09 | G. John Janakiraman, Jose Renato Santos, Yoshio Turner |
 | vPath: Precise Discovery of Request Processing Paths from Black-Box Observations of Thread and Network Activities | USENIX ATC '09 | Byung Chul Tak, Chunqiang Tang, Chun Zhang, Sriram Govindan, Bhuvan Urgaonkar, Rong N. Chang |
 | The Restoration of Early UNIX Artifacts | USENIX ATC '09 | Warren Toomey |
 | Block Management in Solid-State Devices | USENIX ATC '09 | Abhishek Rajimwale, Vijayan Prabhakaran, John D. Davis |
 | Linux Kernel Developer Responses to Static Analysis Bug Reports | USENIX ATC '09 | Philip J. Guo, Dawson Engler |
 | Hardware Execution Throttling for Multi-core Resource Management | USENIX ATC '09 | Xiao Zhang, Sandhya Dwarkadas, Kai Shen |
 | The Antikythera Mechanism: Hacking with Gears | USENIX ATC '09 | Diomidis Spinellis |
 | Reducing Seek Overhead with Application-Directed Prefetching | USENIX ATC '09 | Steve VanDeBogart, Christopher Frost, Eddie Kohler |
 | Fido: Fast Inter-Virtual-Machine Communication for Enterprise Appliances | USENIX ATC '09 | Anton Burtsev, Kiran Srinivasan, Prashanth Radhakrishnan, Kaladhar Voruganti, Garth R. Goodson |
 | STOW: A Spatially and Temporally Optimized Write Caching Algorithm | USENIX ATC '09 | Binny S. Gill, Michael Ko, Biplob Debnath, Wendy Belluomini |
 | Black-Box Performance Control for High-Volume Non-Interactive Systems | USENIX ATC '09 | Sunjit Tara |
 | Server Workload Analysis for Power Minimization using Consolidation | USENIX ATC '09 | Akshat Verma, Gargi Dasgupta |
 | RCB: A Simple and Practical Framework for Real-time Collaborative Browsing | USENIX ATC '09 | Chuan Yue, Zi Chu, Haining Wang |
 | A Computer Scientist Looks at the Energy Problem | USENIX ATC '09 | Randy H. Katz |
