Skip to main content
Research
Focus areas
Blog
Publications
Careers
About
Back
Focus areas
Semiconductors
Artificial Intelligence
Quantum Computing
Hybrid Cloud
Back
About
Overview
Labs
People
Back
Semiconductors
Back
Artificial Intelligence
Back
Quantum Computing
Back
Hybrid Cloud
Back
Overview
Back
Labs
Back
People
Research
Focus areas
Semiconductors
Artificial Intelligence
Quantum Computing
Hybrid Cloud
Blog
Publications
Careers
About
Overview
Labs
People
Open IBM search field
Close
STOC 2002
Conference paper
19 May 2002
The invasiveness of off-line memory checking
View publication
Abstract
No abstract available.
Related
Conference paper
Lower bounds for RAMs and quantifier elimination
Conference paper
Determinism versus nondeterminism with arithmetic tests and computation
Conference paper
Secure computation with information leaking to an adversary
Conference paper
Oblivious RAMs without cryptogrpahic assumptions
View all publications
