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
Read-only archive of site from September 29, 2023.
CPS-VO
attestation
biblio
A Practical Attestation Protocol for Autonomous Embedded Systems
Submitted by aekwall on Mon, 08/17/2020 - 11:35am
remote device
secure operation
safe operation
PASTA
network disruptions
Mesh networks
low-end verifier devices
low-end prover devices
low-end embedded devices
existing attestation protocols
connected embedded devices
collective attestation
autonomous system
autonomous networks
autonomous embedded systems
arbitrary device outages
Internet of Things
security guarantees
Scalability
Embedded System
computer networks
Robustness
composability
pubcrawl
Human behavior
Resiliency
embedded systems
Protocols
performance evaluation
security
Remote Attestation
attestation
biblio
A Probability Prediction Based Mutable Control-Flow Attestation Scheme on Embedded Platforms
Submitted by aekwall on Mon, 08/17/2020 - 11:35am
execution-profiling CFG
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
Predictive models
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
Resiliency
attestation
Remote Attestation
Runtime
security
software integrity
control-flow attacks
embedded systems
Raspberry Pi
security of data
Human behavior
pubcrawl
composability
machine learning
Probabilistic logic
probability
ARM TrustZone
biblio
Practical Anonymous Attestation-based Pseudonym Schemes for Vehicular Networks
Submitted by grigby1 on Fri, 05/22/2020 - 2:14pm
Protocols
Vehicular Communication Systems
vehicular ad hoc networks
vehicles
Trusted Computing
security
Resiliency
resilience
pubcrawl
anonymous messaging
privacy
network accountability
Metrics
Human behavior
Hardware
direct anonymous attestation
composability
attestation
biblio
Secure Edge Computing with Lightweight Control-Flow Property-based Attestation
Submitted by aekwall on Mon, 02/10/2020 - 12:11pm
security
operational assurance
Protocols
Remote Attestation
remote device
resource-constrained edge services
run-time modifications
Scalability
secure edge computing
lightweight dynamic control-flow property-based attestation architecture
security mechanisms
security of data
Software
software assurance
software integrity
software-based attacks
Trusted Component
critical software components
pubcrawl
Human behavior
Resiliency
attack landscape
Cloud Computing
cloud devices
composability
Control-Flow Property-based Attestation
attestation
decentralized solution
defense mechanism
device-integrity
Hardware
industrial IoT applications
intelligent edge computing systems
Internet of Things
biblio
IoT Boot Integrity Measuring and Reporting
Submitted by aekwall on Mon, 03/11/2019 - 10:37am
security
IoT
attestation
Resiliency
pubcrawl
composability
integrity
measured boot
trusted platform
Trusted Platfrom Modules
biblio
DeadBolt: Securing IoT Deployments
Submitted by aekwall on Wed, 02/13/2019 - 11:59am
Security by Default
attestation
composability
Human behavior
Internet of Things
IoT
pubcrawl
Remote Attestation
Resiliency
security
biblio
Direct Anonymous Attestation with Efficient Verifier-Local Revocation for Subscription System
Submitted by aekwall on Wed, 02/13/2019 - 11:59am
attestation
direct anonymous attestation
Trusted Platform Module (TPM)
Resiliency
Human behavior
pubcrawl
composability
biblio
Cryptographically Secure Detection of Injection Attacks
Submitted by aekwall on Wed, 02/13/2019 - 11:59am
attestation
memory corruption
provable security
Resiliency
Human behavior
pubcrawl
composability
biblio
MSRR: Measurement Framework For Remote Attestation
Submitted by aekwall on Wed, 02/13/2019 - 11:59am
Measurement
composability
pubcrawl
Human behavior
Resiliency
system monitoring
Software measurement
run-time measurement
remote untrusted host
remote system
remote attestation system
query languages
MSRR robust querying language
security of data
Linux
general-purpose measurement framework
dynamic RA system
dynamic program state
core measurement functionality
application-specific measurement policies
Time measurement
Kernel
Current measurement
Trusted Computing
attestation
Monitoring
biblio
ERASMUS: Efficient remote attestation via self-measurement for unattended settings
Submitted by aekwall on Wed, 02/13/2019 - 11:59am
Phase measurement
composability
pubcrawl
Human behavior
Resiliency
untrusted remote device
unattended devices
Time measurement
software state
safety-critical applications
real-time systems
real-time devices
Radio frequency
RA techniques
Quality-of-Attestation
potentially expensive computation
Internet of Things
on-demand operation
mobile malware
mobile computing
invasive software
ERASMUS
embedded devices
efficient remote attestation
concrete technique
software integrity
security
Remote Attestation
malware
attestation
IoT devices
« first
‹ previous
1
2
3
4
5
6
next ›
last »
