English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Plus annual

Presents the access of premium content as premium feature

Premium Content

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Plus monthly

Global: Zendy Tools annual

Global: Zendy Tools monthly

Global: Zendy Free Plan

Memory erasure protocols serve to clean up a device's memory before theinstallation of new software. Although this task can be accomplished by directhardware manipulation, remote software-based memory erasure protocols haveemerged as a more efficient and cost-effective alternative. Existing remotememory erasure protocols, however, still rely on non-standard adversarialmodels to operate correctly, thereby requiring additional hardware to restrictthe adversary's capabilities. In this work, we provide a formal definition ofsecure memory erasure within a symbolic security model that utilizes thestandard Dolev-Yao adversary. Our main result consists of a restriction on theDolev-Yao adversary that we prove necessary and sufficient to solve the problemof finding a protocol that satisfies secure memory erasure. We also provide adescription of the resulting protocol using standard cryptographic notation,which we use to analyze the security and communication complexity trade-offcommonly present in this type of protocols.

Secure Memory Erasure in the Presence of Man-in-the-Middle Attackers