A Robust Framework with Rigorous Semantics and Security Guarantees for Election-Day Voter Check-in Download pdf Tags: Project Highlight Slides Applied Formal Methods and Language-based Security Behavioral and Economics Sciences Cryptography Intrusion Detection networking Software systems Transition to Practice Wireless Social 2131538 SaTC PI Meeting 2022 License: Creative Commons 2.5 Submitted by Jason Gigax on Wed, 06/22/2022 - 14:20