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
› Go to login screen
Not a member?
Click here to register!
Forgot username or password?
Cyber-Physical Systems Virtual Organization
Read-only archive of site from September 29, 2023.
CPS-VO
Transition to Practice
file
Intrusion-Tolerant Outsourced Storage for Cyber-Infrastructure (TTP: Medium)
Submitted by JasonGigax on Wed, 06/22/2022 - 3:32pm. Contributors:
Stanislaw Jarecki
Nitesh Saxena
Project Highlight Slides
Authentication and Biometrics
Cryptography Applied
cryptography theory
Privacy Applied
Transition to Practice
2030575
SaTC PI Meeting 2022
file
NSF SATC: TTP: Small: Tracking Run-time Anomalies in Code Execution (TRACE)
Submitted by JasonGigax on Wed, 06/22/2022 - 3:31pm. Contributors:
Farshad Khorrami
Ramesh Karri
Prashanth Krishnamurthy
Project Highlight Slides
Intrusion Detection
Systems
Transition to Practice
2039615
SaTC PI Meeting 2022
file
SaTC:TTP:Medium:Collaborative: Deployment-quality and Accessible Solutions for Cryptography Code Development
Submitted by JasonGigax on Wed, 06/22/2022 - 3:31pm. Contributors:
Danfeng Yao
Barton Miller
Na Meng
Project Highlight Slides
Applied Software Systems
Cryptography
Transition to Practice
1929701
SaTC PI Meeting 2022
file
New Defenses for Data-Only Attacks
Submitted by JasonGigax on Wed, 06/22/2022 - 3:31pm. Contributor:
Jeff Huang
Project Highlight Slides
Formal Methods and Language-based Security Software Systems
Transition to Practice
1901482
SaTC PI Meeting 2022
file
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
Creating Content Verification Tools to Protect Document Integrity
Submitted by JasonGigax on Wed, 06/22/2022 - 2:53pm. Contributor:
Yao Liu
Project Highlight Slides
Transition to Practice
2024300
SaTC PI Meeting 2022
file
SaTC: I-C-U: AI-Enabled Recovery and Assurance of Semiconductor IP from SEM Images
Submitted by JasonGigax on Wed, 06/22/2022 - 2:48pm. Contributors:
Damon Woodard
Domenic Forte
Project Highlight Slides
Transition to Practice
2131480
SaTC PI Meeting 2022
file
NSF SaTC: TTP: Medium: Collaborative: in-to: Securing the Software Supply Chain
Submitted by JasonGigax on Wed, 06/22/2022 - 2:39pm. Contributors:
Justin Cappos
Reza Curtmola
Project Highlight Slides
Applied Information Authenticity Systems
Cryptography
Transition to Practice
1801376
SaTC PI Meeting 2022
file
The Tigress Endpoint Protection Tool - Transition to Practice
Submitted by JasonGigax on Wed, 06/22/2022 - 2:39pm. Contributor:
Christian Collberg
Project Highlight Slides
Cyber-Physical Systems Cybersecurity Education
Software systems
Transition to Practice
2040206
SaTC PI Meeting 2022
file
NSF SATC: TTP: Small: Tracking Run-time Anomalies in Code Execution (TRACE)
Submitted by JasonGigax on Mon, 06/20/2022 - 11:29am. Contributors:
Farshad Khorrami
Ramesh Karri
P. Krishnamurthy
Posters
Intrusion Detection Systems
Transition to Practice
2039615
SaTC PI Meeting 2022
Poster
1
2
3
4
next ›
last »
