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
biblio
The European H2020 project VESSEDIA (Verification Engineering of Safety and SEcurity critical Dynamic Industrial Applications)
Submitted by
grigby1
on Fri, 06/26/2020 - 1:18pm
Internet of Things
security
security of data
certification
tools
pubcrawl
composability
Metrics
Resiliency
IoT
Software
cyber-attacks
program diagnostics
Source code analysis
cyber-physical systems
Safety
Formal Specification
formal verification
connected systems security
Cyber-security
embedded systems
Europe
European H2020 project VESSEDIA
formal methods
high-criticality applications
IoT security
Security and Safety Analysis
software fault tolerance
static analysis
verification engineering of safety and security critical dynamic industrial applications
biblio
Intelligent Border Security Intrusion Detection using IoT and Embedded systems
Submitted by
aekwall
on Mon, 06/15/2020 - 10:58am
security
IoT
security of data
Monitoring
Software
embedded systems
Raspberry Pi
Resiliency
pubcrawl
composability
Metrics
Cameras
control systems
computerised monitoring
Internet of Things
video surveillance
Robot sensing systems
border area monitoring
FLIR
geographical conditions
harsh weather
infrared imaging
intelligent border security intrusion detection
thermal imaging camera
water bodies
biblio
Energy Efficient Embedded Systems for LED Lighting Control in Traffic
Submitted by
aekwall
on Mon, 06/15/2020 - 10:58am
Resiliency
pubcrawl
composability
Roads
Metrics
Energy Efficiency
microcontrollers
embedded systems
energy consumption
light emitting diodes
road traffic
digital embedded system
energy consumption efficiency
energy efficient embedded systems
energy efficient microprocessor
LED lighting
LED lighting control
LED lighting technology
LED technology
lighting
lighting control
lighting control in traffic
low energy consumption
microprocessor based embedded systems
quality lighting
Smart Systems
universal embedded system
biblio
Investigation of Availability of Wireless Access Points based on Embedded Systems
Submitted by
aekwall
on Mon, 06/15/2020 - 10:58am
security
Servers
Internet of Things
Hardware
embedded systems
operating system
Resiliency
pubcrawl
composability
Wireless communication
Metrics
internet
Vulnerability
radio access networks
Embedded System
operating systems (computers)
operating systems
wireless network
available hardware
commercial networks
Economic indicators
embedded hardware platforms
external network adapter
internal wireless network adapter
load testing
Python programming language
scientific wireless networks
service.
single classification
software solution
threat
wireless access points
wireless infrastructure
wireless subscribers
biblio
Secure firmware update in embedded systems
Submitted by
aekwall
on Mon, 06/15/2020 - 10:58am
security
Cryptography
telecommunication security
embedded systems
embedded devices
Resiliency
pubcrawl
composability
Metrics
firmware
Embedded System
authenticity
confidentiality
intellectual property
Hash functions
man-in-the-middle
Asymmetric Encryption
asymmetric encryption algorithms
great numbers
man-in-the-middle attacks
potential attackers
safety critical operations
secure firmware update
secure update process
specific encryption algorithms
symmetric encryption
symmetric encryption algorithms
target hardware
update
update package encryption process
weak point
biblio
Challenges in Designing Exploit Mitigations for Deeply Embedded Systems
Submitted by
aekwall
on Mon, 06/15/2020 - 10:56am
security of data
Hardware
security
embedded systems
real-time systems
Linux
Resiliency
pubcrawl
composability
Metrics
operating systems (computers)
common hardening techniques
deeply embedded systems
embedded memory corruption vulnerabilities
embedded operating systems
embedded patch management
Embedded System
exploit mitigation
Exploiting
statistical analysis
vulnerability exposure windows
μArmor approach
biblio
Consideration of Security Attacks in the Design Space Exploration of Embedded Systems
Submitted by
aekwall
on Mon, 06/15/2020 - 10:55am
security of data
Computer crime
Internet of Things
Task Analysis
embedded systems
Bayes methods
cyber security
Resiliency
pubcrawl
composability
security attacks
Metrics
internet
tools
security measures
power consumption
security requirements
Space exploration
Power demand
IoT system
architectural security attack description
behavioral security attack description
Design Process
door access system use case
Embedded System Design
Mixed Criticality Design Space Exploration
optimal design
Secure IoT Systems
secure system designing
security aware design space exploration framework
biblio
Impact Evaluation of Embedded Security Mechanisms on System Performance
Submitted by
aekwall
on Mon, 06/15/2020 - 10:55am
security of data
Monitoring
Access Control
performance evaluation
embedded systems
Resiliency
pubcrawl
composability
Metrics
Data protection
Analytical models
Mathematical model
data flows
Hardware Security
system security
System performance
embedded security mechanisms
general-purpose systems
impact evaluation
impact evaluation analytical model of reference monitor
reference monitor
reference monitor functional model
subject-object model
system protection
biblio
Implementation of Multi-level Security Domain Scheme for Embedded Computer Based on MILS Architecture
Submitted by
aekwall
on Mon, 06/15/2020 - 10:55am
Access Control
authorisation
embedded systems
computer architecture
Resiliency
pubcrawl
composability
Computational modeling
Metrics
computer security
security requirements
security domain
access control lists
data isolation
embedded computer
functional failure
hardware crash
migration cross partitions
MILS
MILS architecture
multilevel security domain dynamic management
multiple embedded computers
system crash
biblio
Research on Improving Network Security of Embedded System
Submitted by
aekwall
on Mon, 06/15/2020 - 10:55am
authentication
brand-new computer technology
certification
Communication networks
composability
computer network security
computer technology
embedded network security
Embedded System
embedded system network
embedded systems
information technology
internet
IPsec
Metrics
mobile embedded systems
network attack
network security
promotion countermeasures
pubcrawl
Resiliency
Servers
1
2
3
4
5
6
7
8
9
…
next ›
last »
