Thanks! I've added a reference to Scantegrity to the post. Interestingly, Scantegrity is just a front-end -- you still need something like mixnets to actually count the votes.