Login / Signup
stoRNA: Stateless Transparent Proofs of Storage-time.
Reyhaneh Rabaninejad
Behzad Abdolmaleki
Giulio Malavolta
Antonis Michalas
Amir Nabizadeh
Published in:
ESORICS (3) (2023)
Keyphrases
</>
theorem proving
storage requirements
file system
data storage
storage and retrieval
databases
neural network
equational theories
expert systems
solid state
mathematical proofs
data sets
natural deduction
storage systems
processing capabilities
theorem prover
search algorithm
information retrieval
real world