Buchumschlag

Software-Based Memory Erasure with relaxed isolation requirements: Extended Version

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Bursuc, Sergiu, Gil-Pons, Reynaldo, Mauw, Sjouke, Trujillo-Rasua, Rolando
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Cryptography and Security
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Empirical Evaluation of Memory-Erasure Protocols
von: Gil-Pons, Reynaldo, et al.
Veröffentlicht: (2025)

Approaches to Quantum Remote Memory Attestation
von: Laeuchli, Jesse, et al.
Veröffentlicht: (2025)

Automated generation of attack trees with optimal shape and labelling
von: Gadyatskaya, Olga, et al.
Veröffentlicht: (2023)

Unlinkability and History Preserving Bisimilarity
von: Aubert, Clément, et al.
Veröffentlicht: (2026)

A Systematic Security Analysis for Path-based Traceability Systems in RFID-Enabled Supply Chains
von: Heikamp, Fokke, et al.
Veröffentlicht: (2026)

Bits for Privacy: Evaluating Post-Training Quantization via Membership Inference
von: Zhang, Chenxiang, et al.
Veröffentlicht: (2025)

On Kernel's Safety in the Spectre Era (Extended Version)
von: Davoli, Davide, et al.
Veröffentlicht: (2024)

On Separation Logic, Computational Independence, and Pseudorandomness (Extended Version)
von: Lago, Ugo Dal, et al.
Veröffentlicht: (2024)

Beyond the Finite Variant Property: Extending Symbolic Diffie-Hellman Group Models (Extended Version)
von: Giampietro, Sofia, et al.
Veröffentlicht: (2026)

Securing Cryptographic Software via Typed Assembly Language (Extended Version)
von: Song, Shixin, et al.
Veröffentlicht: (2025)

A Formal Approach For Modelling And Analysing Surgical Procedures (Extended Version)
von: Sandu, Ioana, et al.
Veröffentlicht: (2024)

FlexEmu: Towards Flexible MCU Peripheral Emulation (Extended Version)
von: Lei, Chongqing, et al.
Veröffentlicht: (2025)

Security Analysis and Threat Modeling of Research Management Applications [Extended Version]
von: Sindala, Boniface M., et al.
Veröffentlicht: (2025)

A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
von: Capretto, Margarita, et al.
Veröffentlicht: (2025)

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version)
von: Davoli, Davide, et al.
Veröffentlicht: (2024)

MAD: Memory Allocation meets Software Diversity
von: Wiesinger, Manuel, et al.
Veröffentlicht: (2026)

User Identification Procedures with Human Mutations: Formal Analysis and Pilot Study (Extended Version)
von: Quamara, Megha, et al.
Veröffentlicht: (2025)

Layer-Targeted Multilingual Knowledge Erasure in Large Language Models
von: Li, Taoran, et al.
Veröffentlicht: (2026)

Last-Level Cache Side-Channel Attacks Are Feasible in the Modern Public Cloud (Extended Version)
von: Zhao, Zirui Neil, et al.
Veröffentlicht: (2024)

Stack Overflow Meets Replication: Security Research Amid Evolving Code Snippets (Extended Version)
von: Jallow, Alfusainey, et al.
Veröffentlicht: (2025)

Time Tells All: Deanonymization of Blockchain RPC Users with Zero Transaction Fee (Extended Version)
von: Wang, Shan, et al.
Veröffentlicht: (2025)

Libra: Architectural Support For Principled, Secure And Efficient Balanced Execution On High-End Processors (Extended Version)
von: Winderix, Hans, et al.
Veröffentlicht: (2024)

Snorkeling in dark waters: A longitudinal surface exploration of unique Tor Hidden Services (Extended Version)
von: Barredo-Valenzuela, Alfonso Rodriguez, et al.
Veröffentlicht: (2025)

Exploring Runtime Evolution in Android: A Cross-Version Analysis and Its Implications for Memory Forensics
von: Bappah, Babangida, et al.
Veröffentlicht: (2025)

Oreo: Protecting ASLR Against Microarchitectural Attacks (Extended Version)
von: Song, Shixin, et al.
Veröffentlicht: (2024)

Automated Repair of OpenID Connect Programs (Extended Version)
von: Rahat, Tamjid Al, et al.
Veröffentlicht: (2025)

Write+Sync: Software Cache Write Covert Channels Exploiting Memory-disk Synchronization
von: Chen, Congcong, et al.
Veröffentlicht: (2023)

Cassandra: Efficient Enforcement of Sequential Execution for Cryptographic Programs (Extended Version)
von: Hajiabadi, Ali, et al.
Veröffentlicht: (2024)

Intriguing Properties of Adversarial ML Attacks in the Problem Space [Extended Version]
von: Cortellazzi, Jacopo, et al.
Veröffentlicht: (2019)

Towards Reliable and Generalizable Differentially Private Machine Learning (Extended Version)
von: Bao, Wenxuan, et al.
Veröffentlicht: (2025)

From Cyber Threat to Data Shield: Constructing Provably Secure File Erasure with Repurposed Ransomware Cryptography
von: Shang, Jiahui, et al.
Veröffentlicht: (2025)

Time will Tell: Large-scale De-anonymization of Hidden I2P Services via Live Behavior Alignment (Extended Version)
von: Wang, Hongze, et al.
Veröffentlicht: (2025)

CoreUnlearn: Rethinking Concept Unlearning through Disentangled Component-Level Erasure in Text-guided Diffusion Models
von: Zhao, Mengnan, et al.
Veröffentlicht: (2026)

CoFHEE: A Co-processor for Fully Homomorphic Encryption Execution (Extended Version)
von: Nabeel, Mohammed, et al.
Veröffentlicht: (2022)

MEraser: An Effective Fingerprint Erasure Approach for Large Language Models
von: Zhang, Jingxuan, et al.
Veröffentlicht: (2025)

Blockchains through ontologies: the case study of the Ethereum ERC721 standard in OASIS (Extended Version)
von: Bella, Giampaolo, et al.
Veröffentlicht: (2021)

Injection, Attack and Erasure: Revocable Backdoor Attacks via Machine Unlearning
von: Song, Baogang, et al.
Veröffentlicht: (2025)

ExtendAttack: Attacking Servers of LRMs via Extending Reasoning
von: Zhu, Zhenhao, et al.
Veröffentlicht: (2025)

VERCATION: Precise Vulnerable Open-source Software Version Identification based on Static Analysis and LLM
von: Cheng, Yiran, et al.
Veröffentlicht: (2024)

Integrating PETs into Software Applications: A Game-Based Learning Approach
von: Boteju, Maisha, et al.
Veröffentlicht: (2024)