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
Remote Attestation
biblio
Program-flow attestation of IoT systems software
Submitted by aekwall on Wed, 02/13/2019 - 11:58am
malware
TrustZone
static attestation phase
static
software modification
security of data
security
Runtime
Resiliency
remote software-based attestation mechanisms
Remote Attestation
pubcrawl
programming
program-flow attestation
Program-Flow
Memory management
application program flow
IoT systems software
IoT
Internet of Things
impractical constraints
Human behavior
hardware devices
Hardware
dynamic attestation technique
dynamic
Dual Attestation
distributed processing
device integrity measurement
data integrity
composability
attestation
biblio
SΜV - the Security Microvisor: A Virtualisation-based Security Middleware for the Internet of Things
Submitted by grigby1 on Mon, 06/11/2018 - 3:46pm
IoT
resilience
security
pubcrawl
composability
Resiliency
Policy
collaboration
Remote Attestation
policy-based governance
memory isolation
middleware security
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
Remote Attestation
policy-based collaboration
privacy
process control
process control systems
program verification
protocol implementation
protocol verification
Protocols
pubcrawl
Policy
remote network infrastructures
Romania
Scyther model checking tool
secure software integrity verification scheme
security
Software
software integrity
specialized components
industrial applications
commodity-off-the-shelf hardware
commodity-off-the-shelf software
Compositionality
COTS
Cryptographic Protocols
data integrity
formal verification
gas transportation network automation
Hardware
closed process control applications
industrial communications
industrial control
isolated components
lightweight remote attestation protocol
Nickel
PCS
Phoenix-Contact industrial controller
physically secured locations
biblio
A Formal Foundation for Secure Remote Execution of Enclaves
Submitted by grigby1 on Wed, 02/21/2018 - 1:41pm
Microelectronics Security
composability
confidentiality
Enclave Programs
formal verification
integrity
Metrics
Microelectronic Security
pubcrawl
Remote Attestation
resilience
Resiliency
Secure computation
biblio
Cobweb: Practical Remote Attestation Using Contextual Graphs
Submitted by K_Hooper on Wed, 02/14/2018 - 12:03pm
computer theory
trust
Human behavior
human trust
pubcrawl
Remote Attestation
TPMs
Trusted Computing
biblio
One TPM to Bind Them All: Fixing TPM 2.0 for Provably Secure Anonymous Attestation
Submitted by grigby1 on Tue, 02/06/2018 - 1:59pm
provably secure anonymous attestation
trusted platform modules
Trusted Platform Module
Trusted Computing
TPM 2.0 interfaces
standards
security chip
Secret key
Resiliency
Remote Attestation
q-SDH-based anonymous attestation
pubcrawl
attestation signature
Protocols
private key cryptography
privacy
LRSW-based anonymous attestation
fraudulent TPM
Elliptic curves
Diffie-Hellman oracle
Cryptography
cryptographic keys management
composability
Complexity theory
biblio
Policy-Customized: A New Abstraction for Building Security as a Service
Submitted by grigby1 on Tue, 01/16/2018 - 6:34pm
Resiliency
Virtual machining
Virtual machine monitors
Trusted Cloud Service
Servers
security policies
Security on Demand
security
Scalability
Cloud Computing
Remote Attestation
pubcrawl
Protocols
Policy-Customized
Pervasive Computing Security
Metrics
Human Factors
computer architecture
biblio
A Remote-Attestation-Based Extended Hash Algorithm for Privacy Protection
Submitted by grigby1 on Wed, 01/10/2018 - 12:27pm
Algorithm design and analysis
Compositionality
Economics
Extended hash algorithm
hash algorithms
Measurement
Merkle hash tree
Niobium
privacy
privacy protection
pubcrawl
Remote Attestation
Resiliency
security
Software algorithms
Trusted Computing
biblio
C-FLAT: Control-Flow Attestation for Embedded Systems Software
Submitted by grigby1 on Tue, 10/10/2017 - 10:52am
composability
control-flow attacks
embedded system security
Metrics
pubcrawl
Remote Attestation
Resiliency
rop attacks
Scalability
biblio
Cooperative remote attestation for IoT swarms
Submitted by grigby1 on Thu, 04/20/2017 - 12:29pm
Metrics
Trusted Computing
swarms
security state
Scalability
Resiliency
Remote Attestation
pubcrawl
neighbor devices
attestation
IoT device swarms
Internet-of-Things
Internet of Things
Cryptographic Protocols
cryptographic protocol
cooperative remote attestation
computer network security
« first
‹ previous
1
2
3
4
next ›
last »
