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
Cyclones
biblio
Low-overhead Solutions For Preventing Information Leakage Due To Hardware Trojan Horses
Submitted by grigby1 on Thu, 05/19/2022 - 1:03pm
Trojan horses
trojan horse detection
Information Leakage
CRC
mac
Microprocessors
Cyclones
Hardware Trojans
resource management
encryption
Runtime
composability
Hardware
FPGA
Resiliency
resilience
pubcrawl
biblio
Analysis of Wells-type turbines’ operational parameters during winter of 2014 at Mutriku wave farm
Submitted by grigby1 on Fri, 04/24/2020 - 12:02pm
privacy
Wells-type turbines
wave power generation
Valves
Turbines
time 5.0 min
security
SCADA systems
SCADA data recording system
Resiliency
resilience
renewable energy sources
renewable energy
pubcrawl
composability
pressure 9234.2 Pa
power 7681.6 W
OWC technology
Oscillating Water Column
oscillating behaviors
Mutriku wave farm
Metrics
Meteorology
Fluids
fluid mechanics
electricity meter
Cyclones
biblio
Checked C: Making C Safe by Extension
Submitted by grigby1 on Thu, 09/26/2019 - 10:24am
incremental conversion
tools
storage management
static analysis
spatial safety
security
Safety
Safe Coding
Resiliency
resilience
pubcrawl
programming languages
program debugging
policy-based governance
performance evaluation
Metrics
backward-compatibility
Human Factors
Human behavior
highly performant code
developer control
Cyclones
Computer bugs
collaboration
checked region
checked pointer
checked C's design
C++ language
C safe
bounds-safe interfaces
Benchmark testing
