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
hypervisors
biblio
Secure and Trusted Execution: Past, Present, and Future - A Critical Review in the Context of the Internet of Things and Cyber-Physical Systems
Submitted by grigby1 on Mon, 11/13/2017 - 10:59am
Internet of Things
virtualisation
trustworthiness
trusted platform modules
Trusted Platform Module
trusted execution environments
Trusted Execution Environment
Trusted Computing
trust
secure elements
robust trust technologies
Resiliency
pubcrawl
Java Card
IoT
composability
Intel TXT
Intel SGX
hypervisors
host card emulation
GlobalPlatform TEE
GlobalPlatform
encrypted execution environment
digital trust technologies
data privacy
cyberphysical systems
cyber-physical system
Cryptography
CPS
biblio
"A Logic of Programs with Interface-Confined Code"
Submitted by grigby1 on Thu, 02/23/2017 - 1:27pm
safety properties
Web browsers
untrusted code
trusted computing system
Trusted Computing
System M program logic
step-indexed model
standards
source code (software)
Semantics
security-critical systems
sandbox
adversary-supplied code
Safety
Radiation detectors
pubcrawl170106
program logic
Memoir design
interface-confined code
interface confinement
Instruction sets
hypervisors
Computational modeling
cognition
