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
physical control
biblio
A Rigorous System Engineering Process for Resilient Cyber-Physical Systems Design
Submitted by aekwall on Mon, 10/05/2020 - 11:47am
aggressive systems engineering approach
CPS resilience
Systems Engineering Research Center
system assurance
resilient IoT systems
resilient cyber-physical systems design
physical control
functional design methods
formal design methods
exploitable vulnerabilities
Defense Advanced Research Process Agency
computational systems
comprehensive systems engineering approach
design
Internet of Things devices
resilience
cyber physical systems
systems engineering
software engineering
pubcrawl
Resiliency
cyber-physical systems
Internet of Things
security of data
security
biblio
Memory Trace Oblivious Program Execution
Submitted by Heather Lucas on Wed, 09/17/2014 - 6:46pm
Oblivious RAM
variable partitioning
type system
Semantics
Random access memory
programming language techniques
program verification
program diagnostics
program compilers
probing memory buses
physical control
physical attacks
physical access
ORAM banks
optimal efficiency
arrays
memory trace oblivious program execution
memory access traces
memory access overhead
formal security
encryption
DRAM chips
Cryptography
computing platform
computing infrastructure
compiler
cold-boot style attacks
cloud service providers
Cloud Computing
