Skip to main content
Cyber-Physical Systems Virtual Organization CPS-VO
Not a member? Forgot your password?

Hamburger Menu

  • Home
  • Tools
  • Projects
  • PI Meetings
  • Communities
File
CAREER: Designing and Defending Novel Ultra-stealthy and Controllable Design-time Analog-domain Hardware Trojans
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
EAGER: Enabling Secure Data Recovery for Mobile Devices against Malicious Attacks
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
SAFES: A Software-based Architecture for Ensuring Security and Resilience in Medical Device Design
Jason Gigax Submitted by Jason Gigax on June 22nd, 2022
File
Specifying and Verifying Secure Compilation of C Code to Tagged Hardware
Jason Gigax Submitted by Jason Gigax on June 20th, 2022
File
SaTC: CORE: Small: Trustworthy System-on-Chip Design using Secure On Chip Communication Architecture
Jason Gigax Submitted by Jason Gigax on June 20th, 2022
File
An End-to-End Analysis of EMFI Attacks on Bit-sliced Post-Quantum Implementations
Jason Gigax Submitted by Jason Gigax on June 20th, 2022
File
Scaling Correct-by-Construction Code Generation for Cryptography
Jason Gigax Submitted by Jason Gigax on June 20th, 2022
File
SaTC: CORE: Medium: Provably Secure, Usable, and Performant Enclaves in Multicore Processors
Jason Gigax Submitted by Jason Gigax on June 20th, 2022
File
EAGER: Enabling Secure Data Recovery for Mobile Devices against Malicious Attacks
Jason Gigax Submitted by Jason Gigax on June 20th, 2022
File
CAREER: Proactive Defense Methods for Chip Integrity and Security
Jason Gigax Submitted by Jason Gigax on June 20th, 2022

Pagination

  • Previous page ‹‹
  • Page 3
  • Next page ››
Subscribe to Hardware Security Architecture
© 2026 Cyber-Physical Systems Virtual Organization

Footer

  • Terms