• Home
  • Search
  • Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks
  • Open Access IconOpen Access
  • Cite Icon25
  • https://doi.org/10.1109/sp46214.2022.9833774Copy DOI Icon

Cats vs. Spectre: An Axiomatic Approach to Modeling Speculative Execution Attacks

  • May 1, 2022
  • Hernán Ponce-De-Leon +1 more
Show More
  • Abstract
  • Literature Map
  • References
  • Citations
  • Similar Papers
Abstract

The SPECTRE family of speculative execution attacks has required a rethinking of formal methods for security. Approaches based on operational speculative semantics have made initial inroads towards finding vulnerable code and validating defenses. However, with each new attack grows the amount of microarchitectural detail that has to be integrated into the underlying semantics. We propose an alternative, lightweight and axiomatic approach to specifying speculative semantics that relies on insights from memory models for concurrency. We use the CAT modeling language for memory consistency to specify execution models that capture speculative control flow, store-to-load forwarding, predictive store forwarding, and memory ordering machine clears. We present a bounded model checking framework parameterized by our speculative CAT models and evaluate its implementation against the state of the art. Due to the axiomatic approach, our models can be rapidly extended to allow our framework to detect new types of attacks and validate defenses against them.

Similar Papers
  • Research Article
  • Citations478

New types of cryptanalytic attacks using related keys

  • Dec 01, 1994
  • Journal of Cryptology
  • Eli Biham
  • Research Article
  • Citations111

UIDS: a unified intrusion detection system for IoT environment

  • Sep 20, 2019
  • Evolutionary Intelligence
  • Vikash Kumar +2
  • Research Article
  • Citations22

Improvement of attack detection performance on the internet of things with PSO-search and random forest

  • Aug 28, 2022
  • Journal of Computational Science
  • Kurniabudi +6
  • PDF
  • Research Article
  • Citations16

GANBA: Generative Adversarial Network for Biometric Anti-Spoofing

  • Jan 29, 2022
  • Applied Sciences
  • Alejandro Gomez-Alanis +2
  • Research Article
  • Citations2

Review Paper on Cyber Security and Types of Cyber Attacks

  • Aug 29, 2022
  • International Journal of Advanced Research in Science, Communication and Technology
  • Mr Pradeep Nayak +4
  • Book Chapter
  • Citations6

A New Unpredictability-Based RFID Privacy Model

  • Jan 01, 2013
  • Anjia Yang +3
  • Research Article

An Algorithm for the Initial Detection of Malicious Traffic Based on the Autoencoder Reconstruction Error and a Variational Model: the Influence of the Error Distribution Density on the Performance Indicators of the Models

  • Jan 01, 2025
  • Вестник Пермского университета. Математика. Механика. Информатика
  • Adeyemi Marc Aurele Emmanuel Djeguede
  • Research Article
  • Citations5

Fusion of Feature Selection and Random Forest for an Anomaly-Based Intrusion Detection System

  • Aug 01, 2019
  • Journal of Computational and Theoretical Nanoscience
  • Shraddha Khonde +1
  • Conference Article
  • Citations6

Taxonomy and Adversarial Strategies of Random Subdomain Attacks

  • Jun 01, 2019
  • Harm Griffioen +1
  • Conference Article
  • Citations9

Real-Time Behavioral Biometric Information Security System for Assessment Fraud Detection

  • Nov 17, 2021
  • Aditya Subash +1
  • Book Chapter

Evolution of Deep Quantum Learning Models Based on Comprehensive Survey on Effective Malware Identification and Analysis

  • Aug 15, 2022
  • S Poornima +1
  • Book Chapter

Perception Mining of Network Protocol’s Stealth Attack Behaviors

  • Oct 18, 2019
  • Yan-Jing Hu +1
  • Research Article

Graph Neural Network-Based Framework for Real-Time Financial Fraud Detection in Digital Payment Ecosystems

  • Dec 31, 2025
  • Journal of Computing and Data Technology
  • Penaganti Ramakrishna
  • Research Article
  • Citations26

Generating a benchmark cyber multi-step attacks dataset for intrusion detection

  • Jul 21, 2022
  • Journal of Intelligent & Fuzzy Systems
  • Mohammad Almseidin +2
  • Conference Article
  • Citations12

Comparison between support vector machine and fuzzy Kernel C-Means as classifiers for intrusion detection system using chi-square feature selection

  • Jan 01, 2018
  • AIP conference proceedings
  • Z Rustam +1
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.