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
Mitigating JTAG as an Attack Surface
Submitted by
grigby1
on Fri, 08/28/2020 - 11:51am
attack surface
authorisation
BIT
boundary scan
boundary scan architecture
boundary scan testing
Built-In Test
chip lock
computer debugging
Cryptography
debug architectures
depot system repair
embedded systems
firmware
IEEE 1149.1
IEEE standards
joint test action group standards
JTAG
JTAG interface
JTAG test access ports
JTAG-based debug
key registers
key systems
materiel availability issues
Metrics
microprocessor chips
on-chip embedded instrumentation
private instructions
pubcrawl
resilience
Resiliency
reverse engineering
Scalability
security
standard test access port
system memory
biblio
Autonomic Resource Management for Power, Performance, and Security in Cloud Environment
Submitted by
aekwall
on Mon, 08/24/2020 - 12:46pm
security of data
Monitoring
Cloud Computing
Hardware
security
embedded systems
Resiliency
pubcrawl
composability
resource management
tools
machine learning
High performance computing
power consumption
Power demand
autonomic resource management
Big Data Analytics
cloud computing systems
on-demand computing capabilities
Power and Performance Management
secure resources
Autonomic Security
biblio
On the Feasibility of Attribute-Based Encryption on Constrained IoT Devices for Smart Systems
Submitted by
aekwall
on Mon, 08/17/2020 - 11:42am
security
computer network security
Scalability
authorisation
Cryptography
encrypted data
encryption
Access Control
attribute-based encryption
data privacy
attribute based encryption
Internet of Things
Protocols
embedded systems
mobile computing
Human behavior
pubcrawl
policy-based governance
smart objects
Information systems
smart phones
Constrained Devices
performance evaluation
fine-grained access control
security challenges
Smart Systems
ABE adoption
ABE schemes
battery-powered devices
constrained IoT devices
flexible access policies
privacy challenges
public-key encryption
Sugar
biblio
PURE: Using Verified Remote Attestation to Obtain Proofs of Update, Reset and Erasure in low-End Embedded Systems
Submitted by
aekwall
on Mon, 08/17/2020 - 11:37am
attestation
embedded systems
security service
invasive software
software state
Resiliency
Human behavior
pubcrawl
composability
microcontrollers
low-end embedded devices
compromised state
current memory state
erasure
formally verified RA architecture
functional state
important security services
low-end embedded systems
malware-free state
obtain proofs
provably secure software update
Prv memory
remote Prv
secure RA architecture
system-wide resets
trusted verifier
untrusted remote prover
useful security services
verified remote attestation
VRASED
VRF
biblio
Towards Systematic Design of Collective Remote Attestation Protocols
Submitted by
aekwall
on Mon, 08/17/2020 - 11:37am
data privacy
attestation
Hardware
security
performance evaluation
Protocols
Software
embedded systems
Resiliency
Human behavior
pubcrawl
composability
Topology
malware detection
Systematics
remote device
Collective Remote Attestation
collective remote attestation protocols
concrete collective RA scheme
embedded system security
networked embedded devices
place collective RA
prior collective RA schemes
remote exploits
single device
single-device RA
Systematic Design
towards systematic design
untrusted device
biblio
SACHa: Self-Attestation of Configurable Hardware
Submitted by
aekwall
on Mon, 08/17/2020 - 11:36am
attestation
composability
computer architecture
configurable FPGA hardware
configurable hardware
device attestation
embedded device
embedded software
embedded systems
field programmable gate arrays
Field-Programmable Gate Arrays
FPGAs
Hardware
hardware-based attestation
hardware-software system
Human behavior
intended application code
Microprocessors
physical attacks
Protocols
pubcrawl
Read only memory
remote attacks
Resiliency
SACHa
self-attestation
Software
tamper-resistant hardware module
biblio
A Practical Attestation Protocol for Autonomous Embedded Systems
Submitted by
aekwall
on Mon, 08/17/2020 - 11:35am
Internet of Things
attestation
Remote Attestation
security
performance evaluation
Protocols
embedded systems
Resiliency
Human behavior
pubcrawl
composability
Robustness
computer networks
Embedded System
Scalability
security guarantees
remote device
arbitrary device outages
autonomous embedded systems
autonomous networks
autonomous system
collective attestation
connected embedded devices
existing attestation protocols
low-end embedded devices
low-end prover devices
low-end verifier devices
Mesh networks
network disruptions
PASTA
safe operation
secure operation
biblio
A Probability Prediction Based Mutable Control-Flow Attestation Scheme on Embedded Platforms
Submitted by
aekwall
on Mon, 08/17/2020 - 11:35am
security of data
attestation
Remote Attestation
Runtime
security
software integrity
control-flow attacks
embedded systems
Raspberry Pi
Resiliency
Human behavior
pubcrawl
composability
machine learning
Probabilistic logic
probability
ARM TrustZone
Predictive models
operating systems (computers)
coarse-grained check
coarse-grained control-flow attestation schemes
Control Flow Attestation
control-flow security
costly fine-grained level
Embedded Platform Security
embedded software
execution-profiling CFG
execution-profiling control-flow graph
fine-grained remote control-flow attestation
MGC-FA
mutable control-flow attestation scheme
mutable granularity control-flow attestation
Mutable Granularity Scheme
remote control-flow attestation scheme
biblio
Reusable intellectual property core protection for both buyer and seller
Submitted by
grigby1
on Thu, 07/30/2020 - 2:05pm
logic circuits
logic design
IP networks
pubcrawl
Human behavior
Human Factors
policy-based governance
resilience
Resiliency
microprocessor chips
embedded systems
composability
Registers
Fingerprint recognition
Metrics
resource management
intellectual property
Watermarking
ip protection
architectural synthesis process
buyer fingerprint
CE devices
Consumer electronics
design cost overhead
IP core design
IP core protection
IP seller
latency overhead
register allocation phase
reusable intellectual property core protection
scheduling phase
seller watermark
biblio
A Method for Constructing Automotive Cybersecurity Tests, a CAN Fuzz Testing Example
Submitted by
aekwall
on Mon, 07/20/2020 - 10:43am
Automotive engineering
security of data
Internet of Things
security
Protocols
Software
embedded systems
cyber-physical systems
Resiliency
pubcrawl
program testing
system security
program debugging
Prototypes
controller area network
black-box testing
controller area network security
automobiles
fuzzing
automotive electronics
controller area networks
automotive cybersecurity tests
automotive engineers
automotive field
automotive security tooling
black-box fuzz testing
CAN fuzz testing example
connected car systems
controller area network fuzz testing
cybersecurity testing
dynamic security test
dynamic software testing
Fuzz Testing
laboratory vehicle
SAE J3061
secure-by-design
1
2
3
4
5
6
7
8
9
…
next ›
last »
