Skip to Main Content Area
CPS-VO
Contact Support
› Go to login screen
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)
» PROJECT HIGHLIGHT SLIDES
Project Highlight Slides
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
Secure and Trustworthy Cyberphysical Microfluidic Systems
Submitted by JasonGigax on Wed, 06/22/2022 - 2:51pm. Contributor:
Krishnendu Chakrabarty
Project Highlight Slides
2049335
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
« first
‹ previous
…
18
19
20
21
22
23
24
25
26
…
next ›
last »
