There’s a new VTP working paper now available, “Practical End-to-End Verifiable Voting via Split-Value Representations and Randomized Partial Checking”, by Ron Rivest and Michael Rabin.