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
arrays
biblio
Memory Trace Oblivious Program Execution
Submitted by Heather Lucas on Wed, 09/17/2014 - 5: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
file
Automated Deductive Translation of Guardol Programs and Specifications into SMT-Provable Properties
Submitted by TimTh on Mon, 05/13/2013 - 3:40pm. Contributor:
Konrad Slind
Presented as part of the
2013 HCSS conference
.
arrays
higher order logic
induction
partiality
Rockwell Collins
SMT
Industry
Presentation
HCSS'13
SMT (HCSS'13)
« first
‹ previous
1
2
3
4
