Incremental Multiset Hash Functions and Their Application to Memory Integrity Checking

No abstract is available for this paper.

• Publication year

  2003

• Venue

  International Conference on the Theory and Application of Cryptology and Information Security

• Publication date

  2003-11-30

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1007/978-3-540-40061-5_12
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• AEGIS: architecture for tamper-evident and tamper-resistant processing

  2003cited by this paper
• Offline Integrity Checking of Untrusted Storage

  2003cited by this paper
• Efficient memory integrity verification and encryption for secure processors

  2003cited by this paper
• Architectural support for copy and tamper resistant software

  2000cited by this paper
• A New Paradigm for Collision-Free Hashing: Incrementality at Reduced Cost

  1997influential reference
• Collision-Free Hashing from Lattice Problems

  1996cited by this paper
• Generating hard instances of lattice problems (extended abstract)

  1996cited by this paper
• FIPS-PUB-180-1

  1995cited by this paper
• XOR MACs: New Methods for Message Authentication Using Finite Pseudorandom Functions

  1995cited by this paper
• Incremental Cryptography: The Case of Hashing and Signing

  1994cited by this paper
• Random oracles are practical: a paradigm for designing efficient protocols

  1993cited by this paper
• Checking the correctness of memories

  1991influential reference
• Small-bias probability spaces: efficient constructions and applications

  1990cited by this paper
• How to construct random functions

  1986cited by this paper

• Designated-Verifier Dynamic zk-SNARKs with Applications to Dynamic Proofs of Index

  2026cites this paper
• PAL*M: Property Attestation for Large Generative Models

  2026influential citation
• SeaCQ: Secure and Efficient Authenticated Conjunctive Query in Hybrid-Storage Blockchains

  2026cites this paper
• Revisiting the Generalized Birthday Problem and Equihash: Single or K Lists?

  2025cites this paper
• RO(SE)<inline-formula><tex-math notation="LaTeX">${}^{2}$</tex-math><alternatives><mml:math><mml:msup><mml:mrow><mml:mn> </mml:mn></mml:mrow><mml:mrow><mml:mn>2</mml:mn></mml:mrow></mml:msup></mml:math><inline-graphic xlink:href="yang-ieq1-3585349.gif"/></alternatives></inline-formula>: Search-Effic

  2025cites this paper
• Verifiable, Efficient and Confidentiality-Preserving Graph Search with Transparency

  2025cites this paper
• DIADD: Secure Deduplication and Efficient Data Integrity Auditing With Data Dynamics for Cloud Storage

  2025cites this paper
• Fault-tolerant Verifiable Dynamic SSE with Forward and Backward Privacy

  2025cites this paper
• Lightweight Dynamic Conjunctive Keyword Searchable Encryption With Result Pattern Hiding

  2025cites this paper
• Tiga: Accelerating Geo-Distributed Transactions with Synchronized Clocks

  2025cites this paper
• Forward-Secure multi-user and verifiable dynamic searchable encryption scheme within a zero-trust environment

  2025cites this paper
• PLRQ: Practical and Less Leakage Range Query Over Encrypted Mobile Cloud Data

  2025cites this paper
• Enabling Efficient, Verifiable, and Secure Conjunctive Keyword Search in Hybrid-Storage Blockchains

  2024cites this paper
• Athanor: Local Search over Abstract Constraint Specifications

  2024cites this paper
• Nebula: Efficient read-write memory and switchboard circuits for folding schemes

  2024cites this paper
• Search Result Verifiability in Multi-User Dynamic Searchable Symmetric Encryption

  2024cites this paper
• Multi-Client Verifiable Encrypted Keyword Search Scheme With Authorization Over Outsourced Encrypted Data

  2024cites this paper
• Control-Flow Attestation: Concepts, Solutions, and Open Challenges

  2024cites this paper
• CRANE: A Genuine Framework based on Verifiable Searchable Encryption Security and Resource Constraints Balancing on Client Side

  2024cites this paper
• Cachet: Low-Overhead Integrity Verification on Metadata Cache in Secure Nonvolatile Memory Systems

  2024cites this paper
• Proofs for Deep Thought: Accumulation for large memories and deterministic computations

  2024cites this paper
• SecDedup: Secure data deduplication with dynamic auditing in the cloud

  2023cites this paper
• Revisiting Tree Isomorphism: An Algorithmic Bric-\`a-Brac

  2023cites this paper
• Revisiting Tree Isomorphism: AHU Algorithm with Primes Numbers

  2023cites this paper
• Unlocking the lookup singularity with Lasso

  2023cites this paper
• On Active Attack Detection in Messaging with Immediate Decryption

  2023cites this paper
• Enabling Traceable and Verifiable Multi-User Forward Secure Searchable Encryption in Hybrid Cloud

  2023cites this paper
• Cachet: A High-Performance Joint-Subtree Integrity Verification for Secure Non-Volatile Memory

  2023influential citation
• Shielding Graph for eXact Analytics With SGX

  2023cites this paper
• Towards Public Verifiable and Forward-Privacy Encrypted Search by Using Blockchain

  2023cites this paper
• Towards Efficient Verifiable Boolean Search Over Encrypted Cloud Data

  2023cites this paper
• Slicer: Verifiable, Secure and Fair Search over Encrypted Numerical Data Using Blockchain

  2022cites this paper
• A secure and efficient DSSE scheme with constant storage costs in smart devices

  2022cites this paper
• Verifiable and forward private conjunctive keyword search from DIA tree

  2022influential citation
• An efficient verifiable state for zk-EVM and beyond from the Anemoi hash function

  2022cites this paper
• Litmus: Towards a Practical Database Management System with Verifiable ACID Properties and Transaction Correctness

  2022cites this paper
• We Can Make Mistakes: Fault-tolerant Forward Private Verifiable Dynamic Searchable Symmetric Encryption

  2022cites this paper
• Range-Based Set Reconciliation

  2022cites this paper
• Range-Based Set Reconciliation and Authenticated Set Representations

  2022cites this paper
• Gemini: Elastic SNARKs for Diverse Environments

  2022cites this paper
• Policy-Based Broadcast Access Authorization for Flexible Data Sharing in Clouds

  2021cites this paper
• SOTPM: Software One-Time Programmable Memory to Protect Shared Memory on ARM Trustzone

  2021cites this paper
• Verifiable state machines

  2020cites this paper
• Replicated state machines without replicated execution

  2020cites this paper
• Directed Graph Hashing

  2020cites this paper
• Enclave Computing Paradigm: Hardware-assisted Security Architectures & Applications

  2020cites this paper
• Spartan: Efficient and general-purpose zkSNARKs without trusted setup

  2020cites this paper
• Verifiable Encrypted Search with Forward Secure Updates for Blockchain-Based System

  2020cites this paper
• Space- and Computationally-Efficient Set Reconciliation via Parity Bitmap Sketch (PBS)

  2020cites this paper
• SeGShare: Secure Group File Sharing in the Cloud using Enclaves

  2020influential citation
• DIAT: Data Integrity Attestation for Resilient Collaboration of Autonomous Systems

  2019cites this paper
• A Lattice-Based Incremental Signature Scheme

  2019cites this paper
• Securing Update Propagation with Homomorphic Hashing

  2019cites this paper
• Addressing multiple bit/symbol errors in DRAM subsystem

  2019cites this paper
• Authenticated LSM Trees with Minimal Trust Yuzhe ( Richard )

  2019cites this paper
• CHASE: A Configurable Hardware-Assisted Security Extension for Real-Time Systems

  2019influential citation
• An Efficient Scheme to Provide Real-time Memory Integrity Protection

  2019cites this paper
• Towards Efficient Verifiable Forward Secure Searchable Symmetric Encryption

  2019cites this paper
• ConcurDB: Concurrent Query Authentication for Outsourced Databases

  2019cites this paper
• Authenticated LSM Trees with Minimal Trust

  2019cites this paper
• Enabling Reliable Keyword Search in Encrypted Decentralized Storage with Fairness

  2018influential citation
• HardIDX: Practical and secure index with SGX in a malicious environment

  2018influential citation
• Proving the correct execution of concurrent services in zero-knowledge

  2018influential citation
• LPAD : Building Secure Enclave Storage using Authenticated Log-Structured Merge Trees

  2018cites this paper
• SSCMSD - Single-Symbol Correction Multi-symbol Detection for DRAM Subsystem

  2018cites this paper
• Cloud Architectures for Searchable Encryption

  2018cites this paper
• Improved Reconstruction Attacks on Encrypted Data Using Range Query Leakage

  2018cites this paper
• TrustGuard: A Containment Architecture with Verified Output

  2017cites this paper
• Co-Check: Collaborative Outsourced Data Auditing in Multicloud Environment

  2017cites this paper
• Forward Secure Dynamic Searchable Symmetric Encryption with Efficient Updates

  2017cites this paper
• Towards trustworthy and private keyword search in encrypted decentralized storage

  2017cites this paper
• HardIDX: Practical and Secure Index with SGX

  2017influential citation
• Algorithms on Ideal over Complex Multiplication order

  2016cites this paper
• Verifiable Dynamic Symmetric Searchable Encryption: Optimality and Forward Security

  2016cites this paper
• Collaborative Outsourced Data Integrity Checking in Multi-Cloud Environment

  2016cites this paper
• Elliptic Curve Multiset Hash

  2016influential citation
• Wireless Algorithms, Systems, and Applications

  2016influential citation
• Dynamic Provable Data Possession

  2015cites this paper
• Fully Batch Processing Enabled Memory Integrity Verification Algorithm Based on Merkle Tree

  2015cites this paper
• M-MAP: Multi-factor memory authentication for secure embedded processors

  2015cites this paper
• Hardened Paxos through Consistency Validation

  2015cites this paper
• IMSet-SHA3-Tree: The Efficient Data Integrity Verification Based on SHA3 and MSet-XOR-Hash

  2015cites this paper
• MemGuard: A low cost and energy efficient design to support and enhance memory system reliability

  2014influential citation
• On the Incremental Asymmetric Signatures

  2014cites this paper
• Energy-efficient and cost-effective reliability design in memory systems

  2014influential citation
• Streaming Authenticated Data Structures

  2013cites this paper
• Multi-processor architectural support for protecting virtual machine privacy in untrusted cloud environment

  2013cites this paper
• Transparent, Distributed, and Replicated Dynamic Provable Data Possession

  2013cites this paper
• Security Basics for Computer Architects

  2013cites this paper
• Memory Integrity Protection

  2012cites this paper
• Data storage auditing service in cloud computing: challenges, methods and opportunities

  2012cites this paper
• SWHash: An Efficient Data Integrity Verification Scheme Appropriate for USB Flash Disk

  2011cites this paper
• Anonymous Accounting for Decentralized Systems

  2011cites this paper
• An Improved Memory Integrity Protection Scheme

  2010cites this paper
• Protected Memory Unprotected Memory Consumption of Unprotected Memory Critical Data Codes DATA Alice

  2010cites this paper
• Tree-formed verification data for trusted platforms

  2010cites this paper
• Scalable security architecture for trusted software

  2010cites this paper
• Hardware-Assisted Secure Computation

  2009cites this paper
• An Efficient Scheme to Provide Real-time Memory Integrity Protection

  2009cites this paper
• Transparent code authentication at the processor level

  2009influential citation