daniel r. sandler

current

1. electronic voting systems. 2. usable security architectures for the web. 3. practical peer-to-peer systems.

On voting:

The secrecy of the ballot continues to vex those who would design secure electronic voting systems. Voting equipment must resist tampering and manipulation from every involved party—from the developer to the administrator to the voter—without compromising the secrecy of the ballot. If we are to solve this problem, we must somehow capture the voter's intent in such a way as to prove, with scarce evidence, that we have done so correctly. It is therefore a “paradigmatic hard problem” to develop a trustworthy electronic voting machine.

—from a paper in progress (Jan 2008)


projects

2006–present | Research into digital election systems, encompassing the entire spectrum of computer systems and human procedures that make up the modern enterprise of voting.

I am supported in part by the NSF-funded ACCURATE: A Center for Correct, Usable, Reliable, Auditable, and Transparent Elections. Adviser: Dan S. Wallach in the Rice Computer Security Lab.

2004–2006 | [image]FeedTree, a peer-to-peer network for distributing micronews (RSS and Atom feeds) promptly and efficiently. As seen on Slashdot. (This project is no longer under active development, but the code is still available and usable for RSS multicast.) Adviser: Peter Druschel.

refereed publications

D. R. Sandler, K. Derr, and D. S. Wallach. VoteBox: a tamper-evident, verifiable electronic voting system. To appear in Proceedings of the 17th USENIX Security Symposium (USENIX Security ’08), 2008. [PDF/HTML | Show BibTeX] D. R. Sandler and D. S. Wallach. The case for networked remote voting precincts. To appear in Proceedings of the 3rd USENIX/ACCURATE Electronic Voting Technology Workshop (EVT ’08), 2008. [PDF/HTML | Show BibTeX] D. R. Sandler and D. S. Wallach. <input type="password"> must die! In W2SP 2008: Web 2.0 Security & Privacy, 2008. [PDF | Show BibTeX] D. Sandler, K. Derr, S. Crosby, and D. S. Wallach. Finding the evidence in tamper-evident logs. In Proceedings of the 3rd International Workshop on Systematic Approaches to Digital Forensic Engineering (SADFE’08), 2008. [PDF | Show BibTeX] D. Sandler and D. S. Wallach. Casting Votes in the Auditorium. In Proceedings of the 2nd USENIX/ACCURATE Electronic Voting Technology Workshop (EVT’07), 2007. [PDF/HTML | [Show BibTeX] D. Sandler, A. Mislove, A. Post, and P. Druschel. [image]FeedTree: Sharing micronews with peer-to-peer event notification. In Proceedings of the 4th International Workshop on Peer-to-Peer Systems (IPTPS'05), Ithaca, NY, Feburary 2005. [PDF | Show BibTeX]

other pubs

D. Sandler, K. Derr, S. Crosby, and D. S. Wallach. Finding the evidence in tamper-evident logs. Technical Report TR08-01, Department of Computer Science, Rice University, Jan. 2008. [PDF] [Show BibTeX] D. Sandler. [image]FeedTree: Scalable and prompt delivery for Web feeds. Master’s thesis, Rice University, April 2007. [PDF] (Thesis adviser: Peter Druschel.) P. Gerecht, R. McDonald, D. Sandler, A. Thomas-Stivalet, D. Wallach. Taking TrackBack Back (from Spam). Technical report TR06-876, Department of Computer Science, Rice University, May 2006. [PDF].

talks

22-May-08: Two workshop talks (co-located with Oakland ’08) in one day:
In the morning, I presented “<input type="password"> must die!” (see above) at W2SP ’08. That afternoon, I presented our work on Querifier (see above) at SADFE ’08 across the hall.
(Slides and audio forthcoming.) 06-Aug-07: I presented Auditorium (see above) at EVT'07, and VoteBox at the ACCURATE PIs meeting (07-Aug) [slides].

[image][image][image]

30-Nov-06: I delivered a short introduction to Python at a meeting of the Rice CS Club; you can find the slides on my python resources page. 20-Oct-06: I presented the results of my FeedTree work to the comp600 seminar [slides]. This talk was a condensed (~45 min.) version of my MS thesis defense.

FeedTree intro slideAttention, News JunkiesThe FeedTree NetworkSlashdot story on FeedTreeAdoption

24-Feb-05: I presented FeedTree at IPTPS ‘05 [slides]. 07-Nov-04: I spoke at the IRIS project Student Workshop 2004 about A Plan to Save RSS [slides].

teaching

spring 2007
COMP314: Applied algorithms and data structures. Instructor, with Seth Nielson.
See also: the course syllabus, lecture schedule, and projects.
Office hours: most evenings, on IRC.
fall 2006
COMP527: Computer Systems Security. TA.
COMP435: Election Systems, technologies, and administration. TA.
Unofficial course flyers: (Apologies to Judge Robert Rosenberg for flyer #2)
[image] [image] [image]
spring 2006
COMP314: Applied algorithms and data structures. TA.
Office hours: most evenings, on IRC.
Infrastructure: We set up a Subversion repository for all student work and turnins. Read more in my Slashdot post.
Projects:
Project 2: ADVENTURE. (I designed and wrote the project requirements and most of the bonus features [link withheld].) The project has finished and we're currently grading the submissions. Hopefully we'll be able to post some of them online for everyone to play.
Lectures:
2006-03-10: Python in 90 minutes (or your money back (note: Python is free)).
fall 2005
COMP210: Principles of Computing and Programming. School of Engineering TA.
Office hours: Friday, 12PM-2PM.
Lectures:
The Legend of Lambda
2005-09-28: Mutually recursive datatypes. (HTDP ch.15) 2005-10-28: A new form of recursion, or, “Party-hat quicksort.” (HTDP ch.25) 2005-11-04: Algorithms that backtrack, or, “The Legend of Lambda.” (HTDP ch.28)
spring 2005

coursework

spring 2006–present
Thesis and research COMP600 » Departmental seminar COMP620 » Systems seminar
fall 2005
COMP412 » Topics in Compiler Construction COMP527 » Computer Systems Security COMP690 » Thesis and research
summer 2005
COMP690 » Thesis and research
spring 2005
COMP481 » Automata, formal languages, & computability COMP620 » Graduate seminar in distributed systems ECON472 » Introduction to game theory COMP590 » Computer science projects
fall 2004
COMP529 » Computer Network Protocols and Systems COMP520 » Distributed Systems

recent hacks of no real significance

14-Nov-06: iV-Drip version 0.1 contains scripts to parse and compare event logs and votes (“image logs”) from ES&S iVotronic voting machines, version 8. The first version is very rough, based on code I wrote while investigating the Webb County election in Laredo, TX in 2006. Very lightly documented; contact me with questions or feature requests. Software released under the GPL v2.
download: ivdrip-0.1.zip download: sample-files.zip -- votes and events from the Webb County 2006 Democratic primary
[image]
24-Aug-06: A new, Web-based, fancy-pants version of the Duncan Hall office sign generator. 14-May-06: Illuminati plugin for WordPress (allows your WP blog to participate in Mike Freedman's Internet measurement project; see illuminati.coralcdn.org). 05-Mar-06: [image]minipng.py, a teeny-tiny PNG graphics library for Python (more info) 25-Feb-06: send an email to dsandler PLUS ktru AT cs.rice to find out what's playing on KTRU right now (handy for identifying unidentifiable music from your phone) 16-Sep-05: fix-scm script for extracting (most of) the Scheme program text out of one of DrScheme’s binary “multimedia files
[What is Atom?]
20-Jul-05: Atom feed for the Rice Greensheet (refreshed daily). 29-Jun-05: rice academic calendars in iCal (.ics) format: F05, S06, F06, S07 08-Sep-04: dupr - duplex printing helper (use it just like lpr) 08-Sep-04: ph.py - trivial Ph (RFC2378) query library for python; also implements a mutt-compatible Rice-address-lookup shell tool

Daniel Sandler, February 2008.

sandler, daniel robert

fourth-year PhD student computer science, rice university phone book entry for dsandler office: DH 3132 2062 3010 3011 3006   ↳ hours: by appointment. email: …@cs.rice.edu [pubkey] personal: [image]dsandler.org

XML


You are viewing a mobilized version of this site...
View original page here

Mobilized by Mowser Mowser