Andrew Appel: Logic & Accuracy Test, Ballot Marking Devices, and Risk Limiting Audits