includes event A Protocol Model for E2E Elections Independently-Verifiable Elections Panel, Voting Technology Protocols for Independently-Verifiable Elections: Non- Rigorous Descriptions