Saved in:
| Main Authors: | , , , |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2401.06626 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866913193746497536 |
|---|---|
| author | Bursuc, Sergiu Gil-Pons, Reynaldo Mauw, Sjouke Trujillo-Rasua, Rolando |
| author_facet | Bursuc, Sergiu Gil-Pons, Reynaldo Mauw, Sjouke Trujillo-Rasua, Rolando |
| contents | 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 execution. Designers of PoSE protocols have long been aware that, if a prover can outsource the computation of the memory erasure proof to another device, then their protocols are trivially defeated. As a result, most software-based PoSE protocols in the literature assume that provers are isolated during the protocol execution, that is, provers cannot receive help from a network adversary. Our main contribution is to show that this assumption is not necessary. We introduce formal models for PoSE protocols playing against provers aided by external conspirators and develop three PoSE protocols that we prove secure in this context. We reduce the requirement of isolation to the more realistic requirement that the communication with the external conspirator is relatively slow. Software-based protocols with such relaxed isolation assumptions are especially pertinent for low-end devices, where it is too costly to deploy sophisticated protection methods. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_06626 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Software-Based Memory Erasure with relaxed isolation requirements: Extended Version Bursuc, Sergiu Gil-Pons, Reynaldo Mauw, Sjouke Trujillo-Rasua, Rolando Cryptography and Security 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 execution. Designers of PoSE protocols have long been aware that, if a prover can outsource the computation of the memory erasure proof to another device, then their protocols are trivially defeated. As a result, most software-based PoSE protocols in the literature assume that provers are isolated during the protocol execution, that is, provers cannot receive help from a network adversary. Our main contribution is to show that this assumption is not necessary. We introduce formal models for PoSE protocols playing against provers aided by external conspirators and develop three PoSE protocols that we prove secure in this context. We reduce the requirement of isolation to the more realistic requirement that the communication with the external conspirator is relatively slow. Software-based protocols with such relaxed isolation assumptions are especially pertinent for low-end devices, where it is too costly to deploy sophisticated protection methods. |
| title | Software-Based Memory Erasure with relaxed isolation requirements: Extended Version |
| topic | Cryptography and Security |
| url | https://arxiv.org/abs/2401.06626 |