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
Secure Edge Computing with Lightweight Control-Flow Property-based Attestation
Submitted by
aekwall
on Mon, 02/10/2020 - 12:11pm
security of data
Cloud Computing
Internet of Things
Hardware
Remote Attestation
security
software integrity
Protocols
Software
pubcrawl
composability
security mechanisms
defense mechanism
Scalability
attack landscape
cloud devices
Control-Flow Property-based Attestation
critical software components
decentralized solution
device-integrity
industrial IoT applications
intelligent edge computing systems
lightweight dynamic control-flow property-based attestation architecture
operational assurance
remote device
resource-constrained edge services
run-time modifications
secure edge computing
software-based attacks
Trusted Component
software assurance
biblio
ERASMUS: Efficient remote attestation via self-measurement for unattended settings
Submitted by
aekwall
on Wed, 02/13/2019 - 11: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 - 11: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 - 12:22pm
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 - 12:14pm
Human behavior
Metrics
natural language processing
pubcrawl
Resiliency
security patterns
software integrity
