AI Verification Tech MapSearch

Mechanism · Memory wiping and proofs of secure erasure

Sources

On this page
  1. CR. Dean (2026). Verification Plan. AI 2040. Source recordSupports: periodic memory wipes on inference units via forced memorization; purpose · inference-only retrofitting proposal; verification overview
  2. AD. Perito & G. Tsudik (2010). Secure Code Update for Embedded Devices via Proofs of Secure Erasure. Computer Security – ESORICS 2010, LNCS 6345, pp. 643–662. Source recordSupports: origin of proofs of secure erasure; bounded-memory model; applications · abstract
  3. AS. Bursuc et al. (2024). Software-Based Memory Erasure with Relaxed Isolation Requirements. 2024 IEEE 37th Computer Security Foundations Symposium (CSF 2024). Source recordSupports: PoSE with relaxed isolation; adversary model; graph constructions; prototype; stated gap · §1–§8; implementation section; conclusion
  4. BN. Cankaya (2026). A System Overview for Near-Term, Low-Trust AI Compute Verification. Machine Intelligence Research Institute. Source recordSupports: memory-occupation fill and challenge; fill times; RDMA caveat and latencies · §5.1.2
  5. CAmodo Design (2026). Memory Wipes - Performance Analysis. Amodo Design. Source recordSupports: PoSE implementation, security condition, parameters, measured throughputs, GB200 estimates, memory inventory, open questions · whole note (corrected version)
  6. CAmodo Design (2026). Improving Disk Wiping Speed for Memory Wipes. Amodo Design. Source recordSupports: multi-GPU label generation, per-TB wipe rate, NVL72 storage estimate and its assumptions, SSD DRAM and scratch limits, unprototyped multi-pass fix, remaining integration · whole note
  7. BAmodo Design (2026). Amodo-Design/PoSE-Memory-Wiping (GitHub repository). GitHub. Source recordSupports: public disk-wiping code; scope and exclusions; LBA overwrite limits · README
  8. AR. Gil-Pons et al. (2025). Empirical Evaluation of Memory-Erasure Protocols. Proceedings of the 22nd International Conference on Security and Cryptography (SECRYPT 2025), pp. 209–220. Source recordSupports: end-to-end comparison of seven erasure protocols on IoT microcontrollers; public code; findings · abstract; experimental setup; conclusion

Search

Full search page