Cover Image

On Kernel's Safety in the Spectre Era (Extended Version)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Davoli, Davide, Avanzini, Martin, Rezk, Tamara
Format:	Preprint
Published:	2024
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

Teapot: Efficiently Uncovering Spectre Gadgets in COTS Binaries
by: Lin, Fangzheng, et al.
Published: (2024)

Place Protections at the Right Place: Targeted Hardening for Cryptographic Code against Spectre v1
by: Zhu, Yiming, et al.
Published: (2024)

Reverse Engineering the Apple M1 Conditional Branch Predictor for Out-of-Place Spectre Mistraining
by: Tuby, Adam, et al.
Published: (2025)

The Spectre of Surveillance and Censorship in Future Internet Architectures
by: Wrana, Michael, et al.
Published: (2024)

Pre-cache: A Microarchitectural Solution to prevent Meltdown and Spectre
by: Sethumurugan, Subhash, et al.
Published: (2025)

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

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

Software-Based Memory Erasure with relaxed isolation requirements: Extended Version
by: Bursuc, Sergiu, et al.
Published: (2024)

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

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

VeriFence: Lightweight and Precise Spectre Defenses for Untrusted Linux Kernel Extensions
by: Gerhorst, Luis, et al.
Published: (2024)

Citadel: Simple Spectre-Safe Isolation For Real-World Programs That Share Memory
by: Drean, Jules, et al.
Published: (2023)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

ExtendAttack: Attacking Servers of LRMs via Extending Reasoning
by: Zhu, Zhenhao, et al.
Published: (2025)

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

Dataset Ownership in the Era of Large Language Models
by: Li, Kun, et al.
Published: (2025)

TESSERACT: Eliminating Experimental Bias in Malware Classification across Space and Time (Extended Version)
by: Kan, Zeliang, et al.
Published: (2024)

Resilience of Networks to Spreading Computer Viruses: Optimal Anti-Virus Deployment (Extended Version)
by: Tavori, Jhonatan, et al.
Published: (2024)

Zero Trust Implementation in the Emerging Technologies Era: Survey
by: Weinberg, Abraham Itzhak, et al.
Published: (2024)

Cybersecurity AI: Hacking Consumer Robots in the AI Era
by: Mayoral-Vilches, Víctor, et al.
Published: (2026)

Docker under Siege: Securing Containers in the Modern Era
by: Thiyagarajan, Gogulakrishnan, et al.
Published: (2025)

Hound: Locating Cryptographic Primitives in Desynchronized Side-Channel Traces Using Deep-Learning
by: Galli, Davide, et al.
Published: (2024)

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

A Comparative Study of Recent Advances in Internet of Intrusion Detection Things
by: Rezk, Marianna, et al.
Published: (2026)