A Robust Framework with Rigorous Semantics and Security Guarantees for Election-Day Voter Check-in

  • 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
Submitted by Jason Gigax on