A Robust Framework with Rigorous Semantics and Security Guarantees for Election-Day Voter Check-in Download pdf Tags: Posters Applied Formal Methods and Language-based Security Transition to Practice Hardware Security Architecture Information Authenticity Intrusion Detection Networking Applied Social Behavioral and Economics Sciences Software Systems Cryptography Wireless Privacy 2131538 SaTC PI Meeting 2022 License: CC-2.5 Submitted by Jason Gigax on Mon, 06/20/2022 - 10:16