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
Formal Methods and Language-based Security
file
SaTC: CORE: Small: Formal Verification Techniques For Microprocessor Security Vulnerabilities and Trojans
Submitted by JasonGigax on Wed, 06/22/2022 - 2:34pm. Contributor:
Sudarshan Srinivasan
Project Highlight Slides
Formal Methods and Language-based Security
2117190
SaTC PI Meeting 2022
file
Specifying and Verifying Secure Compilation of C Code to Tagged Hardware
Submitted by JasonGigax on Wed, 06/22/2022 - 2:33pm. Contributor:
Andrew Tolmach
Project Highlight Slides
Formal Methods and Language-based Security
Hardware Security Architecture
Software
2048499
SaTC PI Meeting 2022
file
Security and Privacy Foundations of Internet-Scale User-Centered Automation
Submitted by JasonGigax on Wed, 06/22/2022 - 2:33pm. Contributor:
Earlence Fernandes
Project Highlight Slides
Formal Methods and Language-based Security
Privacy Applied
2144376
SaTC PI Meeting 2022
file
SaTC STARSS: Tackling the Corner Cases: Finding Security Vulnerabilities in CPU Designs
Submitted by JasonGigax on Wed, 06/22/2022 - 2:33pm. Contributor:
Cynthia Sturton
Project Highlight Slides
Formal Methods and Language-based Security
Hardware Security Design
1816637
SaTC PI Meeting 2022
file
CORE: Medium: SPIPS: Security and Privacy in Programmable Switches
Submitted by JasonGigax on Wed, 06/22/2022 - 2:28pm. Contributors:
Justin Hsu
Loris D’Antoni
Aditya Akella
Project Highlight Slides
Formal Methods and Language-based Security
2152831
SaTC PI Meeting 2022
file
Automatic Software Patching against Microarchitectual Attacks
Submitted by JasonGigax on Wed, 06/22/2022 - 2:16pm. Contributors:
Danfeng Zhang
Gang Tan
Dinghao Wu
Mahmut Kandemir
Project Highlight Slides
Formal Methods and Language-based Security
1956032
SaTC PI Meeting 2022
file
Building Secure Applications with Non-Static Information Flow Policies
Submitted by JasonGigax on Wed, 06/22/2022 - 2:16pm. Contributor:
Danfeng Zhang
Project Highlight Slides
Formal Methods and Language-based Security
1942851
SaTC PI Meeting 2022
file
ProperData: Protecting Personal Data Flow on the Internet
Submitted by JasonGigax on Wed, 06/22/2022 - 1:49pm. Contributors:
Athina Markopoulou
David Choffnes
Zubair Shafiq
K. Psounis
Project Highlight Slides
Applied Systems
Formal Methods and Language-based Security
Hardware Security Architecture Networking
Privacy Policy and Laws
Usability and Human Interaction
Wired Networking
Wireless Privacy
1955227
1956393
1956435
2103439
SaTC PI Meeting 2022
file
Advancing Cybersecurity Education to Human-Level Artificial Intelligence
Submitted by JasonGigax on Wed, 06/22/2022 - 1:38pm. Contributor:
Fariborz Farahmand
Project Highlight Slides
Applied Privacy
cybersecurity education
data science
Formal Methods and Language-based Security
Mathematics and Statistics
privacy
Social Behavioral and Economics Sciences
theory
Usability and Human Interaction
2041788
SaTC PI Meeting 2022
file
Specifying and Verifying Secure Compilation of C Code to Tagged Hardware
Submitted by JasonGigax on Mon, 06/20/2022 - 10:31am. Contributors:
Andrew Tolmach
Sean Anderson
C.H.R. Chhak
Posters
Formal Methods and Language-based Security
Hardware Security Architecture
Software
2048499
SaTC PI Meeting 2022
2022
Poster
1
2
3
4
next ›
last »
