Cover Image

Automated Side-Channel Analysis of Cryptographic Protocol Implementations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Nasrabadi, Faezeh, Künnemann, Robert, Nemati, Hamed
Format:	Preprint
Published:	2025
Subjects:	Cryptography and Security
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Symbolic Parallel Composition for Multi-language Protocol Verification
by: Nasrabadi, Faezeh, et al.
Published: (2025)

SpecMon: Modular Black-Box Runtime Monitoring of Security Protocols
by: Morio, Kevin, et al.
Published: (2024)

Protecting Cryptographic Libraries against Side-Channel and Code-Reuse Attacks
by: Tsoupidi, Rodothea Myrsini, et al.
Published: (2024)

Rethinking Side-Channel Analysis: Automated Discovery and Analysis of Side-Channel Leakage with LLM-Assisted Agents
by: Xu, Zhen, et al.
Published: (2026)

Classifying Implementations of Cryptographic Primitives and Protocols that Use Post-Quantum Algorithms
by: Mallick, Tushin, et al.
Published: (2025)

Adaptive Exploit Generation against Security Devices and Security APIs
by: Künnemann, Robert, et al.
Published: (2024)

Hybrid Cryptographic Monitoring System for Side-Channel Attack Detection on PYNQ SoCs
by: Chinnasami, Nishant, et al.
Published: (2025)

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

A Deep-Learning Technique to Locate Cryptographic Operations in Side-Channel Traces
by: Chiari, Giuseppe, et al.
Published: (2024)

On Borrowed Time -- Preventing Static Side-Channel Analysis
by: Dumitru, Robert, et al.
Published: (2023)

Drawing the LINE: Cryptographic Analysis and Security Improvements for the LINE E2EE Protocol
by: Dowling, Benjamin, et al.
Published: (2026)

Side Channel Analysis in Homomorphic Encryption
by: Ghaleb, Baraq, et al.
Published: (2025)

Machine-Checked Cardinality Bounds for Masked Barrett Reduction: A 1-Bit Side-Channel Leakage Barrier in Post-Quantum Cryptographic Hardware
by: Iskander, Ray, et al.
Published: (2026)

"MCP Does Not Stand for Misuse Cryptography Protocol": Uncovering Cryptographic Misuse in Model Context Protocol at Scale
by: Yan, Biwei, et al.
Published: (2025)

Cryptographic Binding Should Not Be Optional: A Formal-Methods Analysis of FIDO UAF Channel Binding
by: Golaszewski, Enis, et al.
Published: (2025)

Electromagnetic Side-Channel Analysis of PRESENT Lightweight Cipher
by: Gunathilake, Nilupulee A, et al.
Published: (2025)

Computationally Bounded Robust Compilation and Universally Composable Security
by: Künnemann, Robert, et al.
Published: (2024)

A Light Weight Cryptographic Solution for 6LoWPAN Protocol Stack
by: Khairnar, Sushil, et al.
Published: (2025)

SaMOSA: Sandbox for Malware Orchestration and Side-Channel Analysis
by: Udeshi, Meet, et al.
Published: (2025)

SNPeek: Side-Channel Analysis for Privacy Applications on Confidential VMs
by: Zhang, Ruiyi, et al.
Published: (2025)

Real-world Edge Neural Network Implementations Leak Private Interactions Through Physical Side Channel
by: Liu, Zhuoran, et al.
Published: (2025)

Towards Efficient Verification of Constant-Time Cryptographic Implementations
by: Cai, Luwei, et al.
Published: (2024)

Cryptographic Choreographies
by: Mödersheim, Sebastian, et al.
Published: (2026)

KryptoPilot: An Open-World Knowledge-Augmented LLM Agent for Automated Cryptographic Exploitation
by: Liu, Xiaonan, et al.
Published: (2026)

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection
by: Curaba, Cristian, et al.
Published: (2024)

Stochastic Training for Side-Channel Resilient AI
by: Dubey, Anuj, et al.
Published: (2025)

MCU-Wide Timing Side Channels and Their Detection
by: Müller, Johannes, et al.
Published: (2023)

Side-Channel Attacks on Open vSwitch
by: Kim, Daewoo, et al.
Published: (2026)

On the Formalization of Cryptographic Migration
by: Loebenberger, Daniel, et al.
Published: (2024)

Analyzing and Exploiting Branch Mispredictions in Microcode
by: Mosier, Nicholas, et al.
Published: (2025)

Structural Analysis of Cryptographic Sequences using Stringology-Based Fingerprinting
by: Kebande, Victor
Published: (2026)

An Open-source Implementation and Security Analysis of Triad's TEE Trusted Time Protocol
by: Bettinger, Matthieu, et al.
Published: (2025)

Machine Learning-Based AES Key Recovery via Side-Channel Analysis on the ASCAD Dataset
by: Poudel, Mukesh, et al.
Published: (2025)

Obelix: Mitigating Side-Channels Through Dynamic Obfuscation
by: Wichelmann, Jan, et al.
Published: (2025)

Acoustic Side-Channel Attacks on a Computer Mouse
by: Conti, Mauro, et al.
Published: (2025)

Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
by: Lindner, Andreas, et al.
Published: (2023)

The Quantum-Cryptographic Co-evolution
by: Kundu, Ashish, et al.
Published: (2026)

Hacking Cryptographic Protocols with Advanced Variational Quantum Attacks
by: Aizpurua, Borja, et al.
Published: (2023)

Cross-Scale Persistence Analysis of EM Side-Channels for Reference-Free Detection of Always-On Hardware Trojans
by: Tahghigh, Mahsa, et al.
Published: (2026)

A Review and Comparison of AI Enhanced Side Channel Analysis
by: Panoff, Max, et al.
Published: (2024)