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
software integrity
biblio
Remote Attestation based Software Integrity of IoT devices
Submitted by aekwall on Mon, 12/07/2020 - 11:24am
antivirus
composability
cryptographic operations
Cryptographic Protocols
Cryptography
cyber-physical system security
hashed message authentication code
HMAC
HMAC values
Internet of Things
IoT
IoT devices
message authentication
neural style transfer
Predictive Metrics
pubcrawl
reasonable computational power
Resiliency
Scalability
security issues
software integrity
software trusted platform module
telecommunication security
tpm
Trusted Computing
trusted platform modules
trusted solution
biblio
A Probability Prediction Based Mutable Control-Flow Attestation Scheme on Embedded Platforms
Submitted by aekwall on Mon, 08/17/2020 - 10: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
Secure Edge Computing with Lightweight Control-Flow Property-based Attestation
Submitted by aekwall on Mon, 02/10/2020 - 11:11am
attestation
pubcrawl
Human behavior
Resiliency
attack landscape
Cloud Computing
cloud devices
composability
Control-Flow Property-based Attestation
critical software components
decentralized solution
defense mechanism
device-integrity
Hardware
industrial IoT applications
intelligent edge computing systems
Internet of Things
lightweight dynamic control-flow property-based attestation architecture
operational assurance
Protocols
Remote Attestation
remote device
resource-constrained edge services
run-time modifications
Scalability
secure edge computing
security
security mechanisms
security of data
Software
software assurance
software integrity
software-based attacks
Trusted Component
biblio
ERASMUS: Efficient remote attestation via self-measurement for unattended settings
Submitted by aekwall on Wed, 02/13/2019 - 10:59am
Internet of Things
IoT devices
attestation
malware
Remote Attestation
security
software integrity
concrete technique
efficient remote attestation
embedded devices
ERASMUS
invasive software
mobile computing
mobile malware
on-demand operation
Phase measurement
potentially expensive computation
Quality-of-Attestation
RA techniques
Radio frequency
real-time devices
real-time systems
safety-critical applications
software state
Time measurement
unattended devices
untrusted remote device
Resiliency
Human behavior
pubcrawl
composability
biblio
Securing Mobile Data Collectors by Integrating Software Attestation and Encrypted Data Repositories
Submitted by aekwall on Wed, 02/13/2019 - 10:58am
security of data
encryption
data privacy
private key cryptography
secret keys
attestation
malware
code attestation technique
data encryption
data memory
data repositories
drones
group attestation scheme
malicious physical/cyber attacks
mobile data collectors
privacy-sensitive data
secret key protection
secure communications
software attestation
software integrity
software-based attestation
Table lookup
tampered drones
whitebox cryptography
Resiliency
Human behavior
pubcrawl
composability
biblio
Design, Verification and Implementation of a Lightweight Remote Attestation Protocol for Process Control Systems
Submitted by grigby1 on Thu, 05/24/2018 - 11:22am
closed process control applications
commodity-off-the-shelf hardware
commodity-off-the-shelf software
Compositionality
COTS
Cryptographic Protocols
data integrity
formal verification
gas transportation network automation
Hardware
industrial applications
industrial communications
industrial control
isolated components
lightweight remote attestation protocol
Nickel
PCS
Phoenix-Contact industrial controller
physically secured locations
Policy
policy-based collaboration
privacy
process control
process control systems
program verification
protocol implementation
protocol verification
Protocols
pubcrawl
Remote Attestation
remote network infrastructures
Romania
Scyther model checking tool
secure software integrity verification scheme
security
Software
software integrity
specialized components
biblio
Static and Dynamic Integrity Properties Patterns
Submitted by grigby1 on Tue, 09/19/2017 - 11:14am
Human behavior
Metrics
natural language processing
pubcrawl
Resiliency
security patterns
software integrity