Cover Image

Janus: Compiler-Based Defense Against Transient Execution Attacks Using ARM Hardware Primitives

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ouyang, Ciyan, Li, Peinan, Huang, Yubiao, Meng, Dan, Hou, Rui
Format:	Preprint
Published:	2026
Subjects:	Cryptography and Security D.4.6; C.1.3; D.3.4
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Verifying Device Drivers with Pancake
by: Zhao, Junming, et al.
Published: (2025)

Compile-time Security Analysis and Optimization of Sensitive String Producers
by: Samuel, Mike, et al.
Published: (2026)

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

Improved Leakage Abuse Attacks in Searchable Symmetric Encryption with eBPF Monitoring
by: Dimobi, Chinecherem
Published: (2026)

SpyChain: Multi-Vector Supply Chain Attacks on Small Satellite Systems
by: Vanlyssel, Jack, et al.
Published: (2025)

Levels of Binary Equivalence for the Comparison of Binaries from Alternative Builds
by: Dietrich, Jens, et al.
Published: (2024)

From Multi-sig to DLCs: Modern Oracle Designs on Bitcoin
by: Caldarelli, Giulio
Published: (2026)

Beyond the Benchmark: Innovative Defenses Against Prompt Injection Attacks
by: Shaheer, Safwan, et al.
Published: (2025)

CTF as a Service: A reproducible and scalable infrastructure for cybersecurity training
by: Miguel, Carlos Jimeno, et al.
Published: (2026)

PSR2: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement
by: Li, Xiaoqi, et al.
Published: (2026)

Trust Nothing: RTOS Security without Run-Time Software TCB (Extended Version)
by: Ackermann, Eric, et al.
Published: (2026)

Bringing Private Reads to Hyperledger Fabric via Private Information Retrieval
by: Iasenovets, Artur, et al.
Published: (2025)

The Birthmark Standard: Privacy-Preserving Photo Authentication via Hardware Roots of Trust and Consortium Blockchain
by: Ryan, Sam
Published: (2026)

Policy as Code, Policy as Type
by: Fuchs, Matthew D.
Published: (2025)

Erlang Binary and Source Code Obfuscation
by: Morse, Gregory, et al.
Published: (2026)

Protecting Onion Service Users Against Phishing
by: Güldenring, Benjamin, et al.
Published: (2024)

Secure IAM on AWS with Multi-Account Strategy
by: Yi, Sungchan
Published: (2025)

Decentralized COVID-19 Health System Leveraging Blockchain
by: Chen, Lingsheng, et al.
Published: (2025)

VIC: Evasive Video Game Cheating via Virtual Machine Introspection
by: Karkallis, Panicos, et al.
Published: (2025)

SETC: A Vulnerability Telemetry Collection Framework
by: Holeman, Ryan, et al.
Published: (2024)

RADEP: A Resilient Adaptive Defense Framework Against Model Extraction Attacks
by: Chakraborty, Amit, et al.
Published: (2025)

Sharing Analysis in the Pawns Compiler
by: Naish, Lee
Published: (2024)

Control Flow Graph Recovery for Dynamically Loaded Code via Symbolic Library Resolution
by: Mostovyi, Oleksandr
Published: (2026)

Multicore DRAM Bank-& Row-Conflict Bomb for Timing Attacks in Mixed-Criticality Systems
by: Savino, Antonio, et al.
Published: (2024)

Hardening the OSv Unikernel with Efficient Address Randomization: Design and Performance Evaluation
by: Wollman, Alex, et al.
Published: (2026)

Post-quantum Federated Learning: Secure And Scalable Threat Intelligence For Collaborative Cyber Defense
by: Nayak, Prabhudarshi, et al.
Published: (2026)

HONEYBEE: Efficient Role-based Access Control for Vector Databases via Dynamic Partitioning[Technical Report]
by: Zhong, Hongbin, et al.
Published: (2025)

SoK: Advances and Open Problems in Web Tracking
by: Vekaria, Yash, et al.
Published: (2025)

Secure IVSHMEM: End-to-End Shared-Memory Protocol with Hypervisor-CA Handshake and In-Kernel Access Control
by: Kim, Hyunwoo, et al.
Published: (2025)

Swarm Contract: A Multi-Sovereign Agent Consensus Mechanism
by: Yang, Haowei
Published: (2024)

Detecting Prompt Injection Attacks Against Application Using Classifiers
by: Shaheer, Safwan, et al.
Published: (2025)

vCause: Efficient and Verifiable Causality Analysis for Cloud-based Endpoint Auditing
by: Song, Qiyang, et al.
Published: (2026)

Prioritizing Configuration Relevance via Compiler-Based Refined Feature Ranking
by: Bruzzone, Federico, et al.
Published: (2026)

Accelerating Verified-Compiler Development with a Verified Rewriting Engine
by: Gross, Jason, et al.
Published: (2022)

Anumati: Proof of Adherence as a Formal Consent Model for Autonomous Agent Protocols
by: Kadaboina, Ravi Kiran
Published: (2026)

quantum-safe: Bridging the Post-Quantum Production Gap with a Hybrid-by-Default Python Cryptography Library
by: Shaw, Animesh
Published: (2026)

Unlocking Python's Cores: Hardware Usage and Energy Implications of Removing the GIL
by: Salazar, José Daniel Montoya
Published: (2026)

A Systematic Review and Taxonomy for Privacy Breach Classification: Trends, Gaps, and Future Directions
by: Fuchs, Clint, et al.
Published: (2025)

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
by: Garcia, Rémi, et al.
Published: (2024)

Model checking of hyperproperties for high-level relational models
by: Macedo, Nuno, et al.
Published: (2025)