Checking the correctness of memories

DOI10.1007/BF01185212MaRDI QIDQ890427zbMATH OpenOpenAlexFDO

Authors N. E. Zubov

Publication date 10 November 2015

Published in Algorithmica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01185212

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Data structures (68P05) Information storage and retrieval of data (68P20)

Recommendations

• Testing Shared Memories
• Sorting and searching in faulty memories
• A test against spurious long memory
• Correction of errors associated with memory faults
• Correct Hardware Design and Verification Methods
• scientific article; zbMATH DE number 1344505
• TESTING FOR LONG MEMORY

Cites work

• Checking the correctness of memories
• Designing programs that check their work
• Finite state verifiers I
• scientific article; zbMATH DE number 4191094 (Why is no real title available?)
• scientific article; zbMATH DE number 4195192 (Why is no real title available?)
• scientific article; zbMATH DE number 4205986 (Why is no real title available?)
• scientific article; zbMATH DE number 3960854 (Why is no real title available?)
• On the power of multi-prover interactive protocols
• Relations Among Complexity Measures
• Self-testing/correcting with applications to numerical problems
• Small-Bias Probability Spaces: Efficient Constructions and Applications
• Space-bounded probabilistic game automata

Cited in

(37)

• Batch checking with applications to linear functions
• Synthesizers and their application to the parallel construction of pseudo-random functions
• Scalable zero knowledge via cycles of elliptic curves
• Spartan: efficient and general-purpose zkSNARKs without trusted setup
• \textsf{Halo Infinite}: proof-carrying data from additive polynomial commitments
• Gemini: elastic SNARKs for diverse environments
• On the complexity of collision resistant hash functions: new and old black-box separations
• Hardness-preserving reductions via cuckoo hashing
• Authenticated hash tables based on cryptographic accumulators
• Onion ORAM: a constant bandwidth blowup oblivious RAM
• Checker for data structures which sort elements
• Streaming complexity of checking priority queues
• Integrity and consistency for untrusted services (extended abstract)
• Delegating RAM Computations
• The complexity of online memory checking
• Continuous inspection with memory
• Software reliability via run-time result-checking
• scientific article; zbMATH DE number 1500483 (Why is no real title available?)
• Designing reliable algorithms in unreliable memories
• Certifying algorithms
• Resilient dynamic programming
• Dynamic proofs of retrievability via oblivious RAM
• Quantum online memory checking
• Checking Value-Sensitive Data Structures in Sublinear Space
• Checking and Spot-Checking the Correctness of Priority Queues
• Super-Efficient Verification of Dynamic Outsourced Databases
• Fast interactive coding against adversarial noise
• Proofs for inner pairing products and applications
• \textsf{MacORAMa}: optimal oblivious RAM with integrity
• Fiat-Shamir security of FRI and related SNARKs
• Memory checking for parallel RAMs
• Merkle mountain ranges are optimal: on witness update frequency for cryptographic accumulators
• The complexity of memory checking with covert security
• Memory checking requires logarithmic overhead
• Performance improvement for the GGM-construction of pseudorandom functions
• Checking the correctness of memories
• Pipelined algorithms to detect cheating in long-term grid computations

This page was built for publication: Checking the correctness of memories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q890427)