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
Through-silicon vias
biblio
Measuring and Enhancing Microgrid Resiliency Against Cyber Threats
Submitted by grigby1 on Wed, 04/20/2022 - 3:45pm
cyber-physical systems
pubcrawl
Resiliency
Safety
Metrics
Measurement
resilience
microgrid
cyber-attacks
Microgrids
cyber-vulnerabilities
Through-silicon vias
Common vulnerability scoring system (CVSS)
biblio
Enhancing Microgrid Resiliency Against Cyber Vulnerabilities
Submitted by grigby1 on Wed, 04/20/2022 - 3:45pm
cyber-physical systems
pubcrawl
Resiliency
Mathematical model
Metrics
Measurement
resilience
microgrid
CVSS
Microgrids
cyber-attacks
cyber-vulnerabilities
Through-silicon vias
biblio
Invariance Checking Based Trojan Detection Method for Three-Dimensional Integrated Circuits
Submitted by aekwall on Thu, 09/30/2021 - 11:44am
Trojan horses
Hardware
Routing
pubcrawl
Scalability
Metrics
Resiliency
Two dimensional displays
Three-dimensional displays
Through-silicon vias
network on chip security
biblio
Scalable Verification Framework for C Program
Submitted by grigby1 on Fri, 06/28/2019 - 10:36am
scalability issues
property-guided program slicing
pubcrawl
quality assurance
resilience
Resiliency
Safety
safety critical areas
Scalability
program verification problem
scalable verification
scalable verification framework
Software
Software systems
structural abstraction
Through-silicon vias
TSV
abstraction refinement
program verification
Program slicing
program compilers
optimization
model checking
Metrics
memory consumption
lines-of-code
extended structural abstraction
context aware software verification
Compositionality
Complexity theory
C program verifiers
C language
automatic software verification framework
