Proofs of catalytic space
K Pietrzak - Cryptology ePrint Archive, 2018 - eprint.iacr.org
Proofs of space (PoS)[DFKP15] are proof systems where a prover can convince a verifier
that he``wastes" disk space. PoS were introduced as a more ecological and economical …
that he``wastes" disk space. PoS were introduced as a more ecological and economical …
Software-Based Memory Erasure with relaxed isolation requirements: Extended Version
S Bursuc, R Gil-Pons, S Mauw… - arXiv preprint arXiv …, 2024 - arxiv.org
A Proof of Secure Erasure (PoSE) is a communication protocol where a verifier seeks
evidence that a prover has erased its memory within the time frame of the protocol …
evidence that a prover has erased its memory within the time frame of the protocol …
[PDF][PDF] Analysis of security protocols with security properties based on distance
R GIL PONS - 2024 - orbilu.uni.lu
Security protocols are commonplace in current digital communications. Achieving secure,
private and efficient communications has sparked the expansion of many fields in Computer …
private and efficient communications has sparked the expansion of many fields in Computer …