:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Bursuc, Sergiu, Gil-Pons, Reynaldo, Mauw, Sjouke, Trujillo-Rasua, Rolando
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Cryptography and Security
Accesso online:	https://arxiv.org/abs/2401.06626
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Empirical Evaluation of Memory-Erasure Protocols
di: Gil-Pons, Reynaldo, et al.
Pubblicazione: (2025)

Approaches to Quantum Remote Memory Attestation
di: Laeuchli, Jesse, et al.
Pubblicazione: (2025)

Automated generation of attack trees with optimal shape and labelling
di: Gadyatskaya, Olga, et al.
Pubblicazione: (2023)

Unlinkability and History Preserving Bisimilarity
di: Aubert, Clément, et al.
Pubblicazione: (2026)

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

Bits for Privacy: Evaluating Post-Training Quantization via Membership Inference
di: Zhang, Chenxiang, et al.
Pubblicazione: (2025)

On Kernel's Safety in the Spectre Era (Extended Version)
di: Davoli, Davide, et al.
Pubblicazione: (2024)

Securing Cryptographic Software via Typed Assembly Language (Extended Version)
di: Song, Shixin, et al.
Pubblicazione: (2025)

On Separation Logic, Computational Independence, and Pseudorandomness (Extended Version)
di: Lago, Ugo Dal, et al.
Pubblicazione: (2024)

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

A Formal Approach For Modelling And Analysing Surgical Procedures (Extended Version)
di: Sandu, Ioana, et al.
Pubblicazione: (2024)

FlexEmu: Towards Flexible MCU Peripheral Emulation (Extended Version)
di: Lei, Chongqing, et al.
Pubblicazione: (2025)

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

A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
di: Capretto, Margarita, et al.
Pubblicazione: (2025)

MAD: Memory Allocation meets Software Diversity
di: Wiesinger, Manuel, et al.
Pubblicazione: (2026)

Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version)
di: Davoli, Davide, et al.
Pubblicazione: (2024)

Layer-Targeted Multilingual Knowledge Erasure in Large Language Models
di: Li, Taoran, et al.
Pubblicazione: (2026)

User Identification Procedures with Human Mutations: Formal Analysis and Pilot Study (Extended Version)
di: Quamara, Megha, et al.
Pubblicazione: (2025)

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

Stack Overflow Meets Replication: Security Research Amid Evolving Code Snippets (Extended Version)
di: Jallow, Alfusainey, et al.
Pubblicazione: (2025)

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

Oreo: Protecting ASLR Against Microarchitectural Attacks (Extended Version)
di: Song, Shixin, et al.
Pubblicazione: (2024)

Automated Repair of OpenID Connect Programs (Extended Version)
di: Rahat, Tamjid Al, et al.
Pubblicazione: (2025)

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

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

Cassandra: Efficient Enforcement of Sequential Execution for Cryptographic Programs (Extended Version)
di: Hajiabadi, Ali, et al.
Pubblicazione: (2024)

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

Towards Reliable and Generalizable Differentially Private Machine Learning (Extended Version)
di: Bao, Wenxuan, et al.
Pubblicazione: (2025)

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

Write+Sync: Software Cache Write Covert Channels Exploiting Memory-disk Synchronization
di: Chen, Congcong, et al.
Pubblicazione: (2023)

An End-to-End GSM/SMS Encrypted Approach for Smartphone Employing Advanced Encryption Standard(AES)
di: Abbas, Wasim, et al.
Pubblicazione: (2025)

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

MEraser: An Effective Fingerprint Erasure Approach for Large Language Models
di: Zhang, Jingxuan, et al.
Pubblicazione: (2025)

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

CoFHEE: A Co-processor for Fully Homomorphic Encryption Execution (Extended Version)
di: Nabeel, Mohammed, et al.
Pubblicazione: (2022)

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

ARM MTE Performance in Practice (Extended Version)
di: Noh, Taehyun, et al.
Pubblicazione: (2026)

Injection, Attack and Erasure: Revocable Backdoor Attacks via Machine Unlearning
di: Song, Baogang, et al.
Pubblicazione: (2025)

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

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