Pages that link to "Item:Q890427"
From MaRDI portal
The following pages link to Checking the correctness of memories (Q890427):
Displaying 25 items.
- Authenticated hash tables based on cryptographic accumulators (Q262258) (← links)
- Checker for data structures which sort elements (Q293137) (← links)
- Designing reliable algorithms in unreliable memories (Q458451) (← links)
- Certifying algorithms (Q465678) (← links)
- Resilient dynamic programming (Q513272) (← links)
- Dynamic proofs of retrievability via oblivious RAM (Q514467) (← links)
- Performance improvement for the GGM-construction of pseudorandom functions (Q864800) (← links)
- Checking the correctness of memories (Q890427) (← links)
- Pipelined algorithms to detect cheating in long-term grid computations (Q959812) (← links)
- Batch checking with applications to linear functions (Q1198028) (← links)
- Synthesizers and their application to the parallel construction of pseudo-random functions (Q1288205) (← links)
- Scalable zero knowledge via cycles of elliptic curves (Q1688401) (← links)
- Streaming graph computations with a helpful advisor (Q1939657) (← links)
- Spartan: efficient and general-purpose zkSNARKs without trusted setup (Q2104239) (← links)
- \textsf{Halo Infinite}: proof-carrying data from additive polynomial commitments (Q2120097) (← links)
- Gemini: elastic SNARKs for diverse environments (Q2170056) (← links)
- On the complexity of collision resistant hash functions: new and old black-box separations (Q2175920) (← links)
- Hardness-preserving reductions via cuckoo hashing (Q2423841) (← links)
- Onion ORAM: A Constant Bandwidth Blowup Oblivious RAM (Q2799094) (← links)
- Integrity and Consistency for Untrusted Services (Q3075506) (← links)
- Delegating RAM Computations (Q3181023) (← links)
- Super-Efficient Verification of Dynamic Outsourced Databases (Q5458954) (← links)
- Fast Interactive Coding against Adversarial Noise (Q5501938) (← links)
- Fiat-Shamir security of FRI and related SNARKs (Q6562558) (← links)
- Memory checking for parallel RAMs (Q6582183) (← links)
