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
embedded systems
forum
NEW OPEN ACCESS JOURNAL: IEEE Open Journal of Control Systems (OJCS)
Submitted by ve.rodriguez066 on Thu, 10/07/2021 - 12:48pm
General Announcements
Information theory and control
Systems Biology
stochastic systems
social networks
Smart Grids
robotics
Resilient Control Systems
optimization
system analysis stability and control
Network analysis and control
and control
stability
network analysis
mechatronics
Machine Learning and control
adaptive systems
Human in the loop systems
Healthcare and medical systems
formal verification synthesis
economic systems
finance
embedded systems
delay systems
decision theory
computational methods
Biomolecular systems
Communication networks
Cognitive systems and their control
Agents and Autonomous systems
forum
IEEE Open Journal of Control Systems (OJCS) - Call for Papers!
Submitted by ve.rodriguez066 on Wed, 10/06/2021 - 1:53pm
Calls for Papers
verification
Systems Biology
stochastic systems
social networks
Smart Grids
robotics
Resilient Control Systems
optimization
Systems analysis stability and control
Network analysis and control
mechatronics
Machine Learning and control
Information theory and control
Human in the loop systems
Healthcare and medical systems
synthesis
IEEE
formal verification
economic systems
finance
embedded systems
delay systems
decision theory
computational methods
Biomolecular systems
Communication networks
Cognitive systems and their control
Agents and Autonomous systems
adaptive systems
Open Journal of Control Systems
OJCS
Announcement
Press release
Publications
biblio
How to Quantify the Security Level of Embedded Systems? A Taxonomy of Security Metrics
Submitted by grigby1 on Mon, 08/02/2021 - 3:40pm
assurance
Conferences
embedded systems
evaluation
Hardware
Measurement
Metrics
metrics testing
pubcrawl
Quantitative Security
security
security level
security measurement
Security Metrics
Software
taxonomy
biblio
A Semantic Model-Based Security Engineering Framework for Cyber-Physical Systems
Submitted by grigby1 on Wed, 07/28/2021 - 8:46am
Complexity theory
Computing Theory
Couplings
cyber-physical systems
Cyberspace
embedded systems
Internet of Things
Metrics
Model-based Security Engineering
pubcrawl
security
Security Evaluation
security metric
Security Metrics
Security Scoring
Semantics
biblio
FPGA Accelerated Embedded System Security Through Hardware Isolation
Submitted by aekwall on Mon, 06/28/2021 - 12:40pm
field programmable gate arrays
FPGA
Hardware
security
Software
SoC
Resiliency
pubcrawl
composability
policy-based governance
embedded systems
system-on-chip
Acceleration
Embedded System
Domain Isolation
intellectual property security
biblio
A FPGA-based Control-Flow Integrity Solution for Securing Bare-Metal Embedded Systems
Submitted by aekwall on Mon, 05/03/2021 - 1:05pm
JOP
interrupt
forward edges
bare-metal
backward edges
code-reuse attacks
rop attacks
ROP
return-oriented programming
security
Human Factors
microcontrollers
firmware
composability
pubcrawl
Resiliency
embedded systems
Scalability
biblio
Dynamic Information Flow Tracking for Embedded Binaries using SystemC-based Virtual Prototypes
Submitted by grigby1 on Mon, 03/29/2021 - 12:03pm
Metrics
virtual prototyping
vehicle dynamics
SystemC-based virtual prototypes
security vulnerabilities
security related exploits
security policies
security of data
security
Resiliency
resilience
pubcrawl
Prototypes
accurate DIFT
existing DIFT approaches
Engines
embedded systems
embedded binaries
early DIFT
Dynamic Information Flow Tracking
DIFT engine
Data models
data flow analysis
composability
C++ languages
biblio
Research on Technology of Embedded System Security Protection Component
Submitted by grigby1 on Mon, 03/29/2021 - 12:03pm
log management
whitelist-based security protection
whitelist management
trusted computing technology
Trusted Computing
transport protocols
TCPIP
TCP/IP protocol
security policy management
security management system
security management
Resiliency
resilience
Qt graphical management interface
pubcrawl
Metrics
composability
Kernel
IoT devices
Internet of Things development
Internet of Things
graphical management interface
embedded systems
embedded system security protection
embedded security protection system
Cryptography
cryptographic algorithm
Computers
computer network security
computer network reliability
computer network performance evaluation
computer network management
biblio
Trusted Boot for Embedded Systems Using Hypothesis Testing Benchmark
Submitted by grigby1 on Mon, 03/29/2021 - 12:02pm
Metrics
Trusted Computing
trusted boot
Time measurement
security of data
security
Resiliency
resilience
pubcrawl
Benchmark testing
measurement uncertainty
malware
hypothesis testing benchmark
Hardware
embedded systems
Embedded System
composability
boot sequence
biblio
Towards Security Attack and Risk Assessment during Early System Design
Submitted by grigby1 on Mon, 03/29/2021 - 12:02pm
pubcrawl
task mappings
system designers
smart devices
security vulnerabilities
security risk
security constraints
security attackers
security attack
Secure IoT Systems
Secure Embedded Consumer Devices
risk assessment
Resiliency
resilience
composability
Metrics
IoT devices
Internet of Things
embedded systems
Embedded System Design
design space exploration tools
Design Space Exploration
cybersecurity attacks
cyber-physical systems
cyber security
CPS
computer network security
1
2
3
4
5
6
7
8
9
…
next ›
last »
