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
Clocks
biblio
Deadlock Detection for MPI Programs Based on Refined Match-sets
Submitted by grigby1 on Fri, 05/12/2023 - 10:28am
message passing
System recovery
security
Resiliency
resilience
Refining
Protocols
Metrics
message passing interface
pubcrawl
match-sets
high-performance computing
Concurrency
composability
communication deadlock
Cluster Computing
Clocks
biblio
Covert Channel-Based Transmitter Authentication in Controller Area Networks
Submitted by grigby1 on Tue, 04/19/2022 - 3:16pm
Manganese
Transmitters
Transmitter authentication
Throughput
Scalability
Resiliency
resilience
pubcrawl
Protocols
Monitoring
authentication
Intrusion Detection
Cyber-Physical System (CPS) security
covert channels
covert channel
Controller area network (CAN)
Compositionality
composability
Clocks
biblio
A High Speed SM3 Algorithm Implementation for Security Chip
Submitted by grigby1 on Mon, 02/07/2022 - 4:43pm
composability
Microelectronics Security
SM3 Algorithm
high speed crypto chip
high performance hash algorithm
Frequency synthesizers
crypto
Microelectronics
Clocks
pubcrawl
information technology
Cryptography
optimization
Throughput
Conferences
Resiliency
resilience
Metrics
biblio
Analysis of Frequency Offset for Satellite Navigation Receiver Using Carrier-Aided Code Tracking Loop
Submitted by aekwall on Mon, 11/08/2021 - 3:28pm
pubcrawl
Scalability
Resiliency
Receivers
Clocks
Predictive Metrics
Time-frequency Analysis
carrier tracking loop
carrier-aided code tracking loop
code tracking loop
frequency offset
Global Positioning System
Satellite navigation systems
Satellites
Tracking loops
Time Frequency Analysis and Security
biblio
Multiform Logical Time Amp; Space for Mobile Cyber-Physical System With Automated Driving Assistance System
Submitted by grigby1 on Mon, 11/08/2021 - 1:49pm
Resiliency
Trustworthy Systems
Trajectory
Time factors
specification languages
specification
space
software engineering
Safety
Roads
Autonated Driving
resilience
pubcrawl
Multiform Logical Time
cyber physical systems
cyber-physical systems
cyber physical security
composability
Clocks
biblio
ADobf: Obfuscated Detection Method against Analog Trojans on I2C Master-Slave Interface
Submitted by grigby1 on Mon, 11/08/2021 - 1:34pm
obfuscation
Trojan horses
trojan horse detection
Trojan detection
supply chain security
Sensitivity
Resistors
Resiliency
resilience
pubcrawl
Communication channels
Master-slave
I2C
hardware trojan
Hardware
cyber physical systems
cyber physical security
composability
analog Trojan
Clocks
biblio
Latch-Based Logic Locking
Submitted by aekwall on Mon, 10/04/2021 - 1:53pm
Clocks
delays
Human behavior
Integrated circuit modeling
Latches
Logic gates
pattern locks
propagation delay
pubcrawl
Resiliency
Scalability
security
biblio
High Precision Laser Fault Injection Using Low-Cost Components.
Submitted by grigby1 on Thu, 09/30/2021 - 12:56pm
Clocks
cyber physical systems
field programmable gate arrays
Human behavior
Human Factors
Laser applications
Lasers
Metrics
multiple fault diagnosis
pubcrawl
resilience
Resiliency
semiconductor lasers
Software
Synchronization
biblio
Formal Analysis and Verification of Industrial Control System Security via Timed Automata
Submitted by grigby1 on Thu, 09/30/2021 - 12:55pm
model checking
Valves
timed automata
security
Resiliency
resilience
pubcrawl
process control
PLC
multiple fault diagnosis
automata
Metrics
malware detection
malware
ICS security
Human Factors
Human behavior
cyber physical systems
Clocks
biblio
Lightweight Security Data Streaming, Based on Reconfigurable Logic, for FPGA Platform
Submitted by grigby1 on Wed, 08/18/2021 - 11:14am
Ciphers
Clocks
Cryptography
cyber security
field programmable gate arrays
FPGA
Hardware Security
Lightweight
Lightweight Ciphers
pubcrawl
Reconfigurable Logic
Registers
resilience
Resiliency
Scalability
stream ciphers
1
2
3
4
5
6
7
8
next ›
last »
