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
Hardware Security Architecture
file
CAREER: Designing and Defending Novel Ultra-stealthy and Controllable Design-time Analog-domain Hardware Trojans
Submitted by JasonGigax on Wed, 06/22/2022 - 2:38pm. Contributor:
Matthew Hicks
Project Highlight Slides
Hardware Security Architecture
Hardware Security Design
2046589
SaTC PI Meeting 2022
file
EAGER: Enabling Secure Data Recovery for Mobile Devices against Malicious Attacks
Submitted by JasonGigax on Wed, 06/22/2022 - 2:36pm. Contributor:
Bo Chen
Project Highlight Slides
Hardware Security Architecture
Intrusion Detection Systems
1938130
SaTC PI Meeting 2022
file
SAFES: A Software-based Architecture for Ensuring Security and Resilience in Medical Device Design
Submitted by JasonGigax on Wed, 06/22/2022 - 2:33pm. Contributors:
Jerzy Rozenblit
Roman Lysecky
Project Highlight Slides
Hardware Security Architecture
Hardware Security Design
Intrusion Detection
CNS-1615890
file
Specifying and Verifying Secure Compilation of C Code to Tagged Hardware
Submitted by JasonGigax on Mon, 06/20/2022 - 11: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
file
SaTC: CORE: Small: Trustworthy System-on-Chip Design using Secure On Chip Communication Architecture
Submitted by JasonGigax on Mon, 06/20/2022 - 11:30am. Contributor:
Prabhat Mishra
Posters
Hardware Security Architecture
Hardware Security Design
1936040
SaTC PI Meeting 2022
Poster
file
An End-to-End Analysis of EMFI Attacks on Bit-sliced Post-Quantum Implementations
Submitted by JasonGigax on Mon, 06/20/2022 - 11:29am. Contributors:
Patrick Schaumont
Richa Singh
Saad Islam
Berk Sunar
Posters
Hardware Security Architecture
Hardware Security Design
1931639
SaTC PI Meeting 2022
Poster
file
Scaling Correct-by-Construction Code Generation for Cryptography
Submitted by JasonGigax on Mon, 06/20/2022 - 11:27am. Contributor:
Adam Chlipala
Posters
Formal Methods and Language-based Security
Hardware Security Architecture
Hardware Security Design Systems
2130671
SaTC PI Meeting 2022
Poster
file
SaTC: CORE: Medium: Provably Secure, Usable, and Performant Enclaves in Multicore Processors
Submitted by JasonGigax on Mon, 06/20/2022 - 11:27am. Contributors:
Adam Chlipala
Srini Devadas
Professor Arvind
Posters
Hardware Security Design Systems
Hardware Security Architecture
Formal Methods and Language-based Security
2115587
SaTC PI Meeting 2022
2022
Poster
file
EAGER: Enabling Secure Data Recovery for Mobile Devices against Malicious Attacks
Submitted by JasonGigax on Mon, 06/20/2022 - 11:22am. Contributor:
Bo Chen
Posters
Hardware Security Architecture
Intrusion Detection Systems
1938130
SaTC PI Meeting 2022
Poster
file
CAREER: Proactive Defense Methods for Chip Integrity and Security
Submitted by JasonGigax on Mon, 06/20/2022 - 11:19am. Contributor:
Qiaoyan Yu
Posters
Hardware Security Architecture
Hardware Security Design
1652474
SaTC PI Meeting 2022
« first
‹ previous
1
2
3
4
5
6
7
next ›
last »
