Skip to Main Content Area
  • CPS-VO
    • Contact Support
      
 
Not a member?
Click here to register!
Forgot username or password?
 
  • Home
  • Program Agenda
  • Breakout Reports-Groups
  • Birds of a Feather Sessions
  • Posters
  • Project Highlight Slides
  • Attendees
  • Registrants
  • Organizing Committee
  • Files
CPS-VO » Secure and Trustworthy Cyberspace (SaTC) Community Forum » 2022 Secure and Trustworthy Cyberspace Principal Investigators' Meeting (SaTC PI Meeting '22)

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

  • View
  • Properties
Submitted by JasonGigax on Wed, 06/22/2022 - 3:20pm. Contributors:
  • Alexander Schwarzmann
  • Dariusz Kowalski
  • Gregg Murray
  • Konstantin Busch
  • Edward Tremel
License: 
Creative Commons 2.5

Other available formats:

A Robust Framework with Rigorous Semantics and Security Guarantees for Election-Day Voter Check-in
Switch to normal viewerSwitch to experimental viewer
  • PDF document
  • 226.37 KB
  • 4 downloads
  • Download
  • PDF version
  • Printer-friendly version
  • 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

Terms of Use  |  ©2023. CPS-VO