Skip to Main Content Area
  • CPS-VO
    • Contact Support
  • Browse
    • Calendar
    • Announcements
    • Repositories
    • Groups
  • Search
    • Search for Content
    • Search for a Group
    • Search for People
    • Search for a Project
    • Tagcloud
      
 
Not a member?
Click here to register!
Forgot username or password?
 
Home
National Science Foundation

Cyber-Physical Systems Virtual Organization

Read-only archive of site from September 29, 2023.

CPS-VO

Applied Formal Methods and Language-based Security

file

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

Submitted by JasonGigax on Wed, 06/22/2022 - 3:20pm. Contributors:
  • Alexander Schwarzmann
  • Dariusz Kowalski
  • Gregg Murray
  • Konstantin Busch
  • Edward Tremel
  • 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
file

Visible to the public Automated Support for Writing High-Assurance Smart Contracts

Submitted by JasonGigax on Wed, 06/22/2022 - 2:51pm. Contributor:
  • Bryan Parno
  • Project Highlight Slides
  • Applied Formal Methods and Language-based Security
  • Cryptography
  • 1801321
  • 1801369
  • SaTC PI Meeting 2022

Terms of Use  |  ©2023. CPS-VO