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: 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
CRII: SaTC: Techniques for Measuring and Characterizing Robocalls
Submitted by JasonGigax on Wed, 06/22/2022 - 2:34pm. Contributor:
Bradley Reaves
Project Highlight Slides
Networking Wired
CNS-1849994
SaTC PI Meeting 2022
file
CAREER: Cryptographic Security at Internet Scale
Submitted by JasonGigax on Wed, 06/22/2022 - 2:34pm. Contributor:
Nadia Heninger
Project Highlight Slides
Applied cryptography
2048563
SaTC PI Meeting 2022
file
Short vectors in lattices
Submitted by JasonGigax on Wed, 06/22/2022 - 2:34pm. Contributors:
Nadia Heninger
Daniel J. Bernstein
Project Highlight Slides
Applied cryptography
cryptography theory
mathematics and statistics software
1913167
1913210
SaTC PI Meeting 2022
file
Enacting Cybersecurity Expertise
Submitted by JasonGigax on Wed, 06/22/2022 - 2:34pm. Contributor:
Rebecca Slayton
Project Highlight Slides
Cyber-Physical Systems Cybersecurity Education
Social Behavioral and Economics Sciences
1553069
SaTC PI Meeting 2022
file
Scalable Dynamic Access Control for Untrusted Cloud Environments
Submitted by JasonGigax on Wed, 06/22/2022 - 2:34pm. Contributors:
Adam J. Lee
Apu Kapadia
Jack Lange
Project Highlight Slides
Applied cryptography
Applied Systems
privacy
1703853
1704139
SaTC PI Meeting 2022
file
Defending Against Social Engineering Attacks with In-Browser AI
Submitted by JasonGigax on Wed, 06/22/2022 - 2:33pm. Contributors:
Roberto Perdisci
Nick Nikiforakis
Phani Vadrevy
Project Highlight Slides
web security
2126655
2126654
2126641
SaTC PI Meeting 2022
2022
file
CAREER: Understanding the Cognitive Processes of Computer Network Defense
Submitted by JasonGigax on Wed, 06/22/2022 - 2:33pm. Contributor:
David Schuster
Project Highlight Slides
cybersecurity education
Intrusion Detection
Social Behavioral and Economics Sciences
Usability and Human Interaction
1553018
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
SaTC: Small: Understanding and Taming Deterministic Model Bit Flip Attacks in Deep Neural Networks
Submitted by JasonGigax on Wed, 06/22/2022 - 2:33pm. Contributors:
Fan Yao
Deliang Fan
Project Highlight Slides
Hardware Security Architecture
Systems
2019536
2019548
SaTC PI Meeting 2022
« first
‹ previous
…
2
3
4
5
6
7
8
9
10
…
next ›
last »