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
Fostering collaboration among CPS professionals in academia, government, and industry
CPS-VO
timing
biblio
Dependence Analysis and Automated Partitioning for Scalable Formal Analysis of SystemC Designs
Submitted by aekwall on Mon, 05/03/2021 - 1:16pm
Brakes
Compositionality
Hardware
Predictive Metrics
process control
pubcrawl
Resiliency
Scalability
scalable verification
sensors
Software
timing
Wheels
biblio
Time-series Network Anomaly Detection Based on Behaviour Characteristics
Submitted by aekwall on Tue, 04/27/2021 - 1:09pm
security
Adaptation models
cyber-physical systems
Resiliency
pubcrawl
component
Training
Correlation
Anomaly Detection
Logic gates
timing
Deep Belief Network
belief networks
abnormal network behaviors detection
bidirectional gated recurrent unit
preprocessing
time-series
biblio
D-IDS for Cyber-Physical DER Modbus System - Architecture, Modeling, Testbed-based Evaluation
Submitted by grigby1 on Fri, 04/09/2021 - 11:32am
computer architecture
pubcrawl
Resiliency
computer network security
Data models
Computational modeling
Smart Grid
standards
composability
Denial of Service attacks
Protocols
CPS Security
standard protocols
Syntactics
resilience
data integrity
timing
distribution networks
IDS
distributed energy resources
distributed intrusion detection system
Modbus
analog data points
cyber-physical DER Modbus devices
D-IDS
data-integrity attacks
DER
DER inverters
DER Modbus communication
discrete data points
DoS packets
DoS type attacks
hardware-in-the-loop
hardware-in-the-loop CPS DER
IDS detection accuracy
IDS detection rate
IEEE 13-bus distribution grid
Modbus-specific IDS rule sets
model-based approach
native clear-text packet
open- source IDS rule syntax formats
physics-based threshold bands
testbed-based evaluation
time 0.25 ms
transaction-based threshold bands
biblio
A Formal Model for the Automatic Configuration of Access Protection Units in MPSoC-Based Embedded Systems
Submitted by grigby1 on Mon, 03/29/2021 - 11:56am
abstract permission declarations
access permissions
access protection
access protection unit
authorisation
Code Generation
composability
configuration code
Data protection
dedicated access protection units
embedded systems
formal model
Hardware
heterogeneous system-on-chip platforms
information flow requirements
information flow tracking
internal communication links
Metrics
model-based design
MPSoC-based embedded systems
multiple processing cores
multiprocessing systems
multiprocessor system-on-chip
on-chip isolation
pubcrawl
real-time systems
resilience
Resiliency
Safety
safety-critical embedded system
safety-critical software
security
security-critical embedded system
system-level isolation
system-on-chip
timing
biblio
Hardware Design of Polynomial Multiplication for Byte-Level Ring-LWE Based Cryptosystem
Submitted by aekwall on Mon, 03/15/2021 - 12:10pm
field programmable gate arrays
Scalability
lattice-based cryptography
Cryptography
Hardware
Table lookup
learning (artificial intelligence)
Resiliency
pubcrawl
Metrics
NIST
post quantum cryptography
timing
polynomials
Software algorithms
Compositionality
program compilers
compiler security
logic design
high level synthesis
BRAMs
byte-level modulus
byte-level ring-LWE based cryptosystem
computational time-consuming block
DSPs
high-level synthesis based hardware design methodology
ideal lattice
LAC
multiplication core
NIST PQC Standardization Process
polynomial multiplication
ring learning with error problem
ring LWE
time 4.3985 ns
time 5.052 ns
time 5.133 ns
Vivado HLS compiler
Xilinx Artix-7 family FPGA
biblio
Towards Data-Driven Characterization of Brute-Force Attackers
Submitted by grigby1 on Tue, 03/09/2021 - 2:37pm
attacker dictionary
brute force attacks
brute-force attackers
brute-force login attempts
clustering
computer network security
connection metadata
coordinated attacks
data-driven characterization
defensive measures
dictionary-based brute-force attack
Human behavior
Human Factors
internet
invasive software
IP networks
low-threat attacks
malicious login attempts
meta data
Organizations
password
policy-based governance
Protocols
pubcrawl
public Internet
targeted attack campaigns
threat hunters
timing
timing information
unrelated IP addresses
biblio
On the Distributed Jamming System of Covert Timing Channels in 5G Networks
Submitted by grigby1 on Wed, 02/10/2021 - 12:51pm
security
Servers
pubcrawl
resilience
Resiliency
telecommunication security
Scalability
5G mobile communication
network security
Compositionality
timing
Transmitters
covert timing channel
covert channel
Interference
covert channels
Jamming
radiofrequency interference
5G mobile network
5g network
co-constructing and sharing
distributed jamming system
distributing jammer
diversity networks
diversity reception
fifth generation mobile network
interference algorithm
jam system
modulation
modulation method
biblio
Control Synthesis for Cyber-Physical Systems to Satisfy Metric Interval Temporal Logic Objectives under Timing and Actuator Attacks*
Submitted by aekwall on Mon, 01/25/2021 - 12:53pm
timing information
cyber-physical systems
Resiliency
Human behavior
pubcrawl
composability
Iterative methods
Metrics
Stochastic processes
probability
Games
Temporal Logic
timing
stochastic games
actuators
CPS
actuator attacks
actuator security
Clocks
road traffic control
control input
control synthesis
durational stochastic game
finite state controller
metric interval temporal logic objectives
Power capacitors
time-sensitive
biblio
IoT-APIScanner: Detecting API Unauthorized Access Vulnerabilities of IoT Platform
Submitted by grigby1 on Wed, 01/20/2021 - 4:22pm
API
API test cases
API unauthorized access vulnerability detection
APIs
application program interfaces
application programming interface
authorisation
cloud API
Cloud Computing
cloud services
Compositionality
data privacy
formal verification
Internet of Things
IoT devices
IoT security
IoT-APIScanner
permission verification
program testing
pubcrawl
resilience
Resiliency
security
Smart homes
Task Analysis
timing
tools
unauthorized access
user privacy
Web API
biblio
Mixed-Trust Computing for Real-Time Systems
Submitted by grigby1 on Wed, 12/02/2020 - 2:14pm
complex cyber-physical systems
Complexity theory
Computational modeling
Computing Theory
CPS critical functions
drone application
framework design
Human behavior
Human Factors
program verification
pubcrawl
Raspberry Pi 3 implementation
real-time mixed-trust computing framework
real-time systems
Runtime
Safety
safety-critical autonomous features
safety-critical software
scheduling
Task Analysis
timing
timing guarantees
traditional verification methods
trust
Trusted Computing
trusted hypervisor
untrusted components
virtual machines
VM hosting
1
2
3
4
5
6
next ›
last »
