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
»
2022
SaTC PI Meeting 2022
file
SaTC: Core: End-to-End Support for Privacy in the Internet-of-Things
Submitted by JasonGigax on Wed, 06/22/2022 - 2:51pm. Contributors:
Yuvraj Agarwal
Jason Hong
Project Highlight Slides
Applied Software Systems
Cyber-Physical Systems Privacy
Usability and Human Interaction
1801472
SaTC PI Meeting 2022
file
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
file
EAGER: SaTC-EDU: Teaching Security in Undergraduate AI with Transparency and Contextualization
Submitted by JasonGigax on Wed, 06/22/2022 - 2:51pm. Contributor:
Eliane Wiese
Project Highlight Slides
cybersecurity education
data science
2041960
SaTC PI Meeting 2022
file
Improving Internet Privacy with Global Privacy Control (GPC)
Submitted by JasonGigax on Wed, 06/22/2022 - 2:51pm. Contributor:
Sebastian Zimmeck
Project Highlight Slides
Applied
privacy
2055196
SaTC PI Meeting 2022
file
Trustworthy Machine Learning from Untrusted Models
Submitted by JasonGigax on Wed, 06/22/2022 - 2:51pm. Contributor:
Ting Wang
Project Highlight Slides
data science
1953893
SaTC PI Meeting 2022
file
Composable Programming Abstractions for Secure Distributed Computing and Blockchain Applications
Submitted by JasonGigax on Wed, 06/22/2022 - 2:51pm. Contributor:
Andrew Miller
Project Highlight Slides
Applied Formal Methods and Language-based Security Systems
Cryptography
1943499
SaTC PI Meeting 2022
file
Toward Enforceable Data Usage Control in Cloud-based IoT Systems
Submitted by JasonGigax on Wed, 06/22/2022 - 2:51pm. Contributors:
Wenjing Lou
Tom Hou
Ning Zhang
Project Highlight Slides
Applied Systems
networking
Wired Networking
Wireless Privacy
1916902
1916926
SaTC PI Meeting 2022
file
Towards Stronger and Verified Security for Real-World Cryptography
Submitted by JasonGigax on Wed, 06/22/2022 - 2:50pm. Contributor:
Viet Tung Hoang
Project Highlight Slides
Applied cryptography
Cryptography
theory
1755539
SaTC PI Meeting 2022
file
New Analytic Frontiers for Symmetric Cryptography
Submitted by JasonGigax on Wed, 06/22/2022 - 2:50pm. Contributor:
Viet Tung Hoang
Project Highlight Slides
Applied cryptography
Cryptography
theory
2046540
SaTC PI Meeting 2022
file
CRII: SaTC: Analyzing Information Leak in Smart Homes
Submitted by JasonGigax on Wed, 06/22/2022 - 2:50pm. Contributor:
Anupam Das
Project Highlight Slides
Applied Usability and Human Interaction
privacy
1849997
SaTC PI Meeting 2022
« first
‹ previous
…
21
22
23
24
25
26
27
28
29
…
next ›
last »
