Comprehensive Kernel Safety in the Spectre Era: Mitigations and Performance Evaluation (Extended Version)
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | Davoli, Davide, Avanzini, Martin, Rezk, Tamara |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Ähnliche Einträge
On Kernel's Safety in the Spectre Era (Extended Version)
von: Davoli, Davide, et al.
Veröffentlicht: (2024)
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)
von: Lago, Ugo Dal, et al.
Veröffentlicht: (2024)
A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
von: Capretto, Margarita, et al.
Veröffentlicht: (2025)
von: Capretto, Margarita, et al.
Veröffentlicht: (2025)
Teapot: Efficiently Uncovering Spectre Gadgets in COTS Binaries
von: Lin, Fangzheng, et al.
Veröffentlicht: (2024)
von: Lin, Fangzheng, et al.
Veröffentlicht: (2024)
Place Protections at the Right Place: Targeted Hardening for Cryptographic Code against Spectre v1
von: Zhu, Yiming, et al.
Veröffentlicht: (2024)
von: Zhu, Yiming, et al.
Veröffentlicht: (2024)
Reverse Engineering the Apple M1 Conditional Branch Predictor for Out-of-Place Spectre Mistraining
von: Tuby, Adam, et al.
Veröffentlicht: (2025)
von: Tuby, Adam, et al.
Veröffentlicht: (2025)
The Spectre of Surveillance and Censorship in Future Internet Architectures
von: Wrana, Michael, et al.
Veröffentlicht: (2024)
von: Wrana, Michael, et al.
Veröffentlicht: (2024)
Pre-cache: A Microarchitectural Solution to prevent Meltdown and Spectre
von: Sethumurugan, Subhash, et al.
Veröffentlicht: (2025)
von: Sethumurugan, Subhash, et al.
Veröffentlicht: (2025)
Beyond the Finite Variant Property: Extending Symbolic Diffie-Hellman Group Models (Extended Version)
von: Giampietro, Sofia, et al.
Veröffentlicht: (2026)
von: Giampietro, Sofia, et al.
Veröffentlicht: (2026)
A Formal Approach For Modelling And Analysing Surgical Procedures (Extended Version)
von: Sandu, Ioana, et al.
Veröffentlicht: (2024)
von: Sandu, Ioana, et al.
Veröffentlicht: (2024)
Software-Based Memory Erasure with relaxed isolation requirements: Extended Version
von: Bursuc, Sergiu, et al.
Veröffentlicht: (2024)
von: Bursuc, Sergiu, et al.
Veröffentlicht: (2024)
FlexEmu: Towards Flexible MCU Peripheral Emulation (Extended Version)
von: Lei, Chongqing, et al.
Veröffentlicht: (2025)
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)
von: Sindala, Boniface M., et al.
Veröffentlicht: (2025)
VeriFence: Lightweight and Precise Spectre Defenses for Untrusted Linux Kernel Extensions
von: Gerhorst, Luis, et al.
Veröffentlicht: (2024)
von: Gerhorst, Luis, et al.
Veröffentlicht: (2024)
Citadel: Simple Spectre-Safe Isolation For Real-World Programs That Share Memory
von: Drean, Jules, et al.
Veröffentlicht: (2023)
von: Drean, Jules, et al.
Veröffentlicht: (2023)
ARM MTE Performance in Practice (Extended Version)
von: Noh, Taehyun, et al.
Veröffentlicht: (2026)
von: Noh, Taehyun, 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)
von: Quamara, Megha, et al.
Veröffentlicht: (2025)
Last-Level Cache Side-Channel Attacks Are Feasible in the Modern Public Cloud (Extended Version)
von: Zhao, Zirui Neil, et al.
Veröffentlicht: (2024)
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)
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)
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)
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)
von: Barredo-Valenzuela, Alfonso Rodriguez, et al.
Veröffentlicht: (2025)
Security in the Era of Perceptive Networks: A Comprehensive Taxonomic Framework for Integrated Sensing and Communication Security
von: Thapa, Chandra, et al.
Veröffentlicht: (2026)
von: Thapa, Chandra, et al.
Veröffentlicht: (2026)
A Comprehensive Survey of Unmanned Aerial Systems' Risks and Mitigation Strategies
von: Shrestha, Sharad, et al.
Veröffentlicht: (2025)
von: Shrestha, Sharad, et al.
Veröffentlicht: (2025)
S-Eval: Towards Automated and Comprehensive Safety Evaluation for Large Language Models
von: Yuan, Xiaohan, et al.
Veröffentlicht: (2024)
von: Yuan, Xiaohan, et al.
Veröffentlicht: (2024)
Oreo: Protecting ASLR Against Microarchitectural Attacks (Extended Version)
von: Song, Shixin, et al.
Veröffentlicht: (2024)
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)
von: Rahat, Tamjid Al, et al.
Veröffentlicht: (2025)
The Cost of Performance: Breaking ThreadX with Kernel Object Masquerading Attacks
von: Shao, Xinhui, et al.
Veröffentlicht: (2025)
von: Shao, Xinhui, et al.
Veröffentlicht: (2025)
Cassandra: Efficient Enforcement of Sequential Execution for Cryptographic Programs (Extended Version)
von: Hajiabadi, Ali, et al.
Veröffentlicht: (2024)
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)
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)
von: Bao, Wenxuan, et al.
Veröffentlicht: (2025)
USB: A Comprehensive and Unified Safety Evaluation Benchmark for Multimodal Large Language Models
von: Zheng, Baolin, et al.
Veröffentlicht: (2025)
von: Zheng, Baolin, 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)
von: Wang, Hongze, et al.
Veröffentlicht: (2025)
Maximal Extractable Value Mitigation Approaches in Ethereum and Layer-2 Chains: A Comprehensive Survey
von: Alipanahloo, Zeinab, et al.
Veröffentlicht: (2024)
von: Alipanahloo, Zeinab, et al.
Veröffentlicht: (2024)
Integrating Cybersecurity Frameworks into IT Security: A Comprehensive Analysis of Threat Mitigation Strategies and Adaptive Technologies
von: Lokare, Amit, et al.
Veröffentlicht: (2025)
von: Lokare, Amit, et al.
Veröffentlicht: (2025)
Performance Evaluation and Threat Mitigation in Large-scale 5G Core Deployment
von: Moreira, Rodrigo, et al.
Veröffentlicht: (2025)
von: Moreira, Rodrigo, et al.
Veröffentlicht: (2025)
A Comprehensive Evaluation and Practice of System Penetration Testing
von: Zhang, Chunyi, et al.
Veröffentlicht: (2025)
von: Zhang, Chunyi, et al.
Veröffentlicht: (2025)
CoFHEE: A Co-processor for Fully Homomorphic Encryption Execution (Extended Version)
von: Nabeel, Mohammed, et al.
Veröffentlicht: (2022)
von: Nabeel, Mohammed, et al.
Veröffentlicht: (2022)
The Scales of Justitia: A Comprehensive Survey on Safety Evaluation of LLMs
von: Liu, Songyang, et al.
Veröffentlicht: (2025)
von: Liu, Songyang, et al.
Veröffentlicht: (2025)
Comprehensive Survey: Biometric User Authentication Application, Evaluation, and Discussion
von: Alrawili, Reem, et al.
Veröffentlicht: (2023)
von: Alrawili, Reem, et al.
Veröffentlicht: (2023)
Ähnliche Einträge
-
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) -
A Secure Sequencer and Data Availability Committee for Rollups (Extended Version)
von: Capretto, Margarita, et al.
Veröffentlicht: (2025) -
Teapot: Efficiently Uncovering Spectre Gadgets in COTS Binaries
von: Lin, Fangzheng, et al.
Veröffentlicht: (2024) -
Place Protections at the Right Place: Targeted Hardening for Cryptographic Code against Spectre v1
von: Zhu, Yiming, et al.
Veröffentlicht: (2024)