CS researchers studying election machinery