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
power aware computing
biblio
A new Security Mechanism for Vehicular Cloud Computing Using Fog Computing System
Submitted by
aekwall
on Mon, 12/30/2019 - 11:15am
Fog computing
security
Cloud Computing
computer architecture
data privacy
Data processing
data servers
Decoy technology
distributed processing
edge computing
encryption
energy consumption reduction
Fog Computing and Security
fog computing architecture
fog computing system
Monitoring
power aware computing
Prediction algorithms
privacy
pubcrawl
Resiliency
Scalability
secure vehicular platform
security mechanism
Traffic congestion
traffic engineering computing
UBP
user behavior profiling
VANET
VCC
vehicle computing service requests
vehicle storing service requests
vehicular cloud computing
vehicular cloud servers
Vehicular fog computing
biblio
A Neural Network Trojan Detection Method Based on Particle Swarm Optimization
Submitted by
grigby1
on Fri, 03/15/2019 - 10:59am
Artificial Neural Networks
Cryptography
Hardware
hardware Trojan detection
HSPICE power consumption simulation
Integrated circuit modeling
intelligent neural networks algorithm
invasive software
malicious modifications
neural nets
neural network Trojan detection
particle swarm optimisation
particle swarm optimization
power aware computing
power consumption
power consumption data
Power demand
principal component analysis
Principal Component Analysis algorithm
PSO NN method
pubcrawl
RTL circuits
Side Channel Analysis technology
trojan horse detection
Trojan horses
biblio
POWERALERT: Integrity Checking Using Power Measurement and a Game-Theoretic Strategy
Submitted by
aekwall
on Wed, 02/13/2019 - 10:58am
attestation
data integrity
security
Protocols
Adaptation models
attestation systems
checking code
code segment
Current measurement
Frequency measurement
game theory
game-theoretic strategy
integrity checking
integrity checking program generation
Kernel
Nash equilibrium strategy
network round-trip time
power attestation
power aware computing
Power measurement
POWERALERT
Raspberry Pi
timing information
Resiliency
Human behavior
pubcrawl
composability
biblio
Minimum energy quantized neural networks
Submitted by
grigby1
on Mon, 06/11/2018 - 2:24pm
pubcrawl
Resiliency
Scalability
Hardware
neural nets
energy consumption
telecommunication security
Neural networks
Training
deep learning
resilience
Memory management
Metrics
Random access memory
system-on-chip
energy conservation
power aware computing
Mobile communication
approximate computing
arbitrary fixed point precision
automated minimum-energy optimization
BinaryNets
complex arithmetic
fixed point arithmetic
fundamental trade-off
generic hardware platform
higher precision operators
int4 implementations
int8 networks
iso-accuracy depending
low precision weights
Minimum Energy
minimum energy QNN
QNN training
Quantized Neural Network
quantized neural networks
wider network architectures
network on chip security
biblio
Verification and Validation of a Cyber-Physical System in the Automotive Domain
Submitted by
grigby1
on Thu, 06/07/2018 - 2:08pm
formal verification
security
cyber-physical systems
pubcrawl
Scalability
software quality
Analytical models
Wheels
delays
Stochastic processes
traffic engineering computing
Cameras
resilience
probability
CPS
embedded systems
Automotive engineering
Resiliency
quality assurance
power aware computing
software development
Stochastic computing
autonomous traffic sign recognition vehicle
cyber-physical system validation
cyber-physical system verification
domain specific architectural language
EAST-ADL
EAST-ADL constraints
EAST-ADL/Stateflow
energy constraints
extended ERT constraints
formal statistical analysis
functional quality assurance
mapping rules
modified EAST-ADL
nonfunctional quality assurance
parallel languages
probabilistic extension
probability parameters
S/S models
safety-critical automotive embedded system design
semantics denotation
Simulink Design Verifier
Simulink/Stateflow integration
software packages
transformed energy-aware real-time behaviors
UPPAAL models
UPPAAL-SMC
verifiable UPPAAL- SMC models
Verification & Validation
Stochastic Computing Security
biblio
Unreliable memory operation on a convolutional neural network processor
Submitted by
grigby1
on Thu, 06/07/2018 - 2:06pm
bit protection
bit-cells
classification challenges
CNN resilience
convolutional neural network processor
data elements
Degradation
detection challenges
DRAM chips
embedded dynamic RAM system
embedded systems
error probability degradation
fault diagnosis
fault mitigation strategies
fault tolerance
fault tolerant computing
feature maps memory space
hardware memories
inference capabilities
Kernel
Memory management
MNIST dataset
neural nets
Neural Network Resilience
power aware computing
pubcrawl
Random access memory
Reliability
resilience
Resiliency
severe fault-injection rates
size 28.0 nm
software fault tolerance
storage management chips
Training
unreliable memory operation
biblio
Reducing Energy Waste for Computers by Human-in-the-Loop Control
Submitted by
el_wehby
on Fri, 05/25/2018 - 2:51pm
adaptive timeout interval strategy
addressing background processing strategy
computer
computer usage
computer workstation
Computer workstations
CPS
cyber physical systems
distraction
distraction detection
energy conservation
energy management
energy saving
energy waste
energy waste reduction
human behavior understanding
Human Factors
human-in-the-loop
human-in-the-loop control
IP networks
multilevel sensing strategy
power aware computing
waste management
workstation
Workstations
1536086
biblio
Performance Evaluation of RPL Protocol under Mobile Sybil Attacks
Submitted by
grigby1
on Wed, 04/11/2018 - 2:03pm
composability
computer network performance evaluation
computer network security
control overhead
energy consumption
fake control messages
Internet of Things
Internet of Things applications
IoT
IoT security
mobile computing
mobile nodes
mobile sybil attacks
network topology
packet delivery
performance evaluation
physical adversary
power aware computing
pubcrawl
resilience
Resiliency
Routing
routing protocol for low-power and lossy networks
Routing protocols
routing security
RPL
RPL protocol
Scalability
stolen identities
Sybil attack
SybM
Topology
Trust Routing
trust-based intrusion detection system
biblio
Research of a reconfigurable coarse-grained cryptographic processing unit based on different operation similar structure
Submitted by
grigby1
on Wed, 02/21/2018 - 12:45pm
55nm CMOS standard-cell library
Algorithm design and analysis
arrays
Ciphers
coarse-grained reconfigurable cryptologic array
collaboration
composability
Cryptography
cryptology
Different Operations Similar Structure
different operations similar structure reconfigurable design
feedback
feedback shift register structure
finite Field GF(2n)
Galois fields
Human behavior
human factor
Linear feedback shift registers
logic design
logic synthesis
M/DLFSR
Metrics
multiply/divide linear feedback shift register
Policy
Policy-Governed Secure Collaboration
power aware computing
power consumption saving
pubcrawl
Reconfigurable
reconfigurable architectures
reconfigurable coarse-grained cryptographic processing unit
resilience
Resiliency
Scalability
shift registers
size 55.0 nm
biblio
Fully integrable current-mode feedback suppressor as an analog countermeasure against CPA attacks in 40nm CMOS technology
Submitted by
grigby1
on Wed, 02/21/2018 - 12:41pm
Analog-level
circuit feedback
CMOS
CMOS analogue integrated circuits
CMOS logic circuits
CMOS technology
composability
correlation coefficient
correlation power analysis
CPA
CPA attacks
CPA-resistant cryptographic devices
Cryptography
current-mode
current-mode circuits
data-dependency
fully integrable current-mode feedback suppressor
Internet of Things
IoT
Logic gates
Metrics
Microelectronic Security
MTD improvement
on-chip analog-level CPA countermeasure
Power Analysis Attack
power aware computing
power consumption
Power demand
pubcrawl
resilience
Resiliency
sensible data security
side channel attack
size 40 nm
system-on-chip
ultraconstrained IoT smart devices
1
2
next ›
last »
