Offline Authentication of Untrusted Storage

Offline Authentication of Untrusted Storage

We extend the offline memory correctness checking scheme presented by Blum et. al [BEG+91], by using incremental cryptography, to detect attacks by an active adversary. We also introduce a hybrid o_ine-online checking scheme designed for untrusted storages in file systems and databases. Previous wor...

Full description

Bibliographic Details
Main Authors:	Clarke, Dwaine, Gassend, Blaise, Suh, G. Edward, van Dijk, Marten, Devadas, Srinivas
Published:	2023
Online Access:	https://hdl.handle.net/1721.1/149320

Similar Items

Offline Integrity Checking of Untrusted Storage
by: Clarke, Dwaine, et al.
Published: (2023)

Caches and Merkle Trees for Efficient Memory Authentication
by: Gassend, Blaise, et al.
Published: (2023)

Delay-Based Circuit Authentication With Application to Key Cards
by: Gassend, Blaise, et al.
Published: (2023)

Hardware Mechanisms for Memory Integrity Checking
by: Suh, G. Edward, et al.
Published: (2023)

Incremental Multiset Hash Functions and their Application to Memory Integrity Checking
by: Clarke, Dwaine, et al.
Published: (2023)

The AEGIS Processor Architecture for Tamper-Evident and Tamper-Resistant Processing
by: Suh, G. Edward, et al.
Published: (2023)

The AEGIS Processor Architecture for Tamper-Evident and Private Tamper-Resistant Enviorments
by: Suh, G. Edward, et al.
Published: (2023)

Controlled Physical Unknown Functions: Applications to Secure Smartcards and Certified Execution
by: Gassend, Blaise, et al.
Published: (2023)

Silicon Physical Unknown Functions and Secure Smartcards
by: Gassend, Blaise, et al.
Published: (2023)

Author restrospective AEGIS: architecture for tamper-evident and tamper-resistant processing
by: Suh, G. Edward, et al.
Published: (2021)

Author restrospective AEGIS: architecture for tamper-evident and tamper-resistant processing
by: Suh, G. Edward, et al.
Published: (2021)

A secure processor architecture for encrypted computation on untrusted programs
by: Dijk, Marten van, et al.
Published: (2015)

Knowledge Flow Analysis for Security Protocols
by: Torlak, Emina, et al.
Published: (2005)

Towards constant bandwidth overhead integrity checking of untrusted data
by: Clarke, Dwaine E. (Dwaine Errol), 1976-
Published: (2006)

Secure data access on untrusted storage
by: Mediana
Published: (2015)

Trusted Storage over Untrusted Networks
by: Oliveria, Paulo F., et al.
Published: (2011)

Algorithms for verifying the integrity of untrusted storage
by: Sudan Ajay, 1980-
Published: (2005)

Authenticated storage using small trusted hardware
by: Yang, Hsin-Jung, et al.
Published: (2014)

Memoization Attacks and Copy Protection in Partitioned Applications
by: O'Donnell, Charles W., et al.
Published: (2006)

The untrusted computer problem and camera based authentication using optical character recognition
by: Kotwal, Thomas (Thomas Prabhakar Pramod), 1978-
Published: (2014)

Application-Aware Deadlock-Free Oblivious Routing
by: Kinsy, Michel A., et al.
Published: (2010)

Towards an interpreter for efficient encrypted computation
by: Devadas, Srinivas, et al.
Published: (2014)

Secure computation on untrusted platforms
by: Holmgren, Justin Lee
Published: (2018)

Building Data Structures on Untrusted Peer-to-Peer Storage with Per-participant Logs
by: Chen, Benjie, et al.
Published: (2023)

Integrity and access control in untrusted content distribution networks
by: Fu, Kevin E. (Kevin Edward), 1976-
Published: (2006)

Online metric algorithms with untrusted predictions
by: Antoniadis, A, et al.
Published: (2023)

Securing untrusted memories in embedded systems
by: Vig, Saru
Published: (2020)

Online metric algorithms with untrusted predictions
by: Antoniadis, A, et al.
Published: (2020)

Toward Secure Services from Untrusted Developers
by: Brodsky, Micah Z. (Micah Zev), et al.
Published: (2007)

Physical Random Functions
by: Gassend, Blaise
Published: (2023)

Oblivious NFA evaluation with an untrusted third party
by: Zhou, Haoran
Published: (2022)

Design and Implementation of the Ascend Secure Processor
by: Ren, Ling, et al.
Published: (2021)

Integrity verification for path Oblivious-RAM
by: Ren, Ling, et al.
Published: (2014)

Generalized external interaction with tamper-resistant hardware with bounded information leakage
by: Yu, Xiangyao, et al.
Published: (2014)

Design space exploration and optimization of path oblivious RAM in secure processors
by: Ren, Ling, et al.
Published: (2014)

Freecursive ORAM: [Nearly] Free Recursion and Integrity Verification for Position-based Oblivious RAM
by: Fletcher, Christopher Wardlaw, et al.
Published: (2019)

Formal Privacy Proof of Data Encoding: The Possibility and Impossibility of Learnable Encryption
by: Xiao, Hanshen, et al.
Published: (2025)

Efficiently learning structured distributions from untrusted batches
by: Chen, Sitan, et al.
Published: (2021)

Efficiently learning structured distributions from untrusted batches
by: Chen, Sitan, et al.
Published: (2022)

Certified quantum random numbers from untrusted light
by: Drahi, D, et al.
Published: (2020)