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
software-based attacks
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
Semantics-Directed Prototyping of Hardware Runtime Monitors
Submitted by grigby1 on Mon, 11/04/2019 - 12:35pm
ROP-style code reuse attacks
Monitoring
multiple memory accesses
pubcrawl
rapid-prototyping runtime monitors
reconfigurable architectures
resilience
Resiliency
rop attacks
Model driven development
Runtime
Scalability
security of data
Semantics
semantics-directed prototyping
software monitor
software-based attacks
Biomedical monitoring
Instruction sets
Human Factors
Human behavior
high level synthesis
hardware-based protection
Hardware Security
hardware runtime monitors
hardware monitor
Hardware
formal verification
embedded systems
embedded processor
embedded hardware
composability
building memory protection mechanisms
