Predictable, Efficient System-Level Fault Tolerance in C^3. - Jiguo Song; John Wittrock; Gabriel Parmer (RTSS, 2013)

Dispute Resolution in Accessible Voting Systems: The Design and Use of Audiotegrity. - Tyler Kaczmarek; John Wittrock; Richard Carback; Alex Florescu; Jan Rubio; Noel Runyan; Poorvi L. Vora; Filip Zagórski (VoteID, 2013)