Buchumschlag

On the Formalization of Cryptographic Migration

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Loebenberger, Daniel, Gazdag, Stefan-Lukas, Herzinger, Daniel, Hirsch, Eduard, Näther, Christian, Steghöfer, Jan-Philipp
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Cryptography and Security
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Toward a Common Understanding of Cryptographic Agility -- A Systematic Review
von: Näther, Christian, et al.
Veröffentlicht: (2024)

Migrating Software Systems towards Post-Quantum-Cryptography -- A Systematic Literature Review
von: Näther, Christian, et al.
Veröffentlicht: (2024)

Detecting Cryptographically Relevant Software Packages with Collaborative LLMs
von: Hirsch, Eduard, et al.
Veröffentlicht: (2026)

Time-Based State-Management of Hash-Based Signature CAs for VPN-Authentication
von: Herzinger, Daniel, et al.
Veröffentlicht: (2025)

Architecture-Derived CBOMs for Cryptographic Migration: A Security-Aware Architecture Tradeoff Method
von: Hirsch, Eduard, et al.
Veröffentlicht: (2026)

Towards Effective Complementary Security Analysis using Large Language Models
von: Wagner, Jonas, et al.
Veröffentlicht: (2025)

Managing Security Evidence in Safety-Critical Organizations
von: Mohamad, Mazen, et al.
Veröffentlicht: (2024)

Evaluating the Role of Security Assurance Cases in Agile Medical Device Development
von: Fransson, Max, et al.
Veröffentlicht: (2024)

An Exploratory Study on the Engineering of Security Features
von: Hermann, Kevin, et al.
Veröffentlicht: (2025)

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

Cryptographic Choreographies
von: Mödersheim, Sebastian, et al.
Veröffentlicht: (2026)

DROIDCCT: Cryptographic Compliance Test via Trillion-Scale Measurement
von: Moghimi, Daniel, et al.
Veröffentlicht: (2026)

The Quantum-Cryptographic Co-evolution
von: Kundu, Ashish, et al.
Veröffentlicht: (2026)

Constraint Migration: A Formal Theory of Throughput in AI Cybersecurity Pipelines
von: Phetmanee, Surasak
Veröffentlicht: (2026)

CryptoFormalEval: Integrating LLMs and Formal Verification for Automated Cryptographic Protocol Vulnerability Detection
von: Curaba, Cristian, et al.
Veröffentlicht: (2024)

Cryptographic Keywords in NVD: Statistics and Visualization
von: Stanek, Martin
Veröffentlicht: (2024)

Cryptographic Verifiability for Voter Registration Systems
von: Fábrega, Andrés, et al.
Veröffentlicht: (2025)

Cryptographic Data Exchange for Nuclear Warheads
von: Perry, Neil, et al.
Veröffentlicht: (2025)

Systematic Review of Lightweight Cryptographic Algorithms
von: Khan, Mohsin, et al.
Veröffentlicht: (2026)

On Cryptographic Mechanisms for the Selective Disclosure of Verifiable Credentials
von: Flamini, Andrea, et al.
Veröffentlicht: (2024)

Cryptographic Application of Elliptic Curve with High Rank
von: Cheng, Xiaogang, et al.
Veröffentlicht: (2025)

MECHA: Multithreaded and Efficient Cryptographic Hardware Access
von: Derry, Pratama, et al.
Veröffentlicht: (2025)

SBN Explorer: An Empirical Study of Cryptographic Boolean Networks
von: Valence, Arnaud
Veröffentlicht: (2026)

Understanding AI Methods for Intrusion Detection and Cryptographic Leakage
von: Zilouchian, Reza, et al.
Veröffentlicht: (2026)

Quantum-Resistant Cryptographic Models for Next-Gen Cybersecurity
von: Chhibber, Navin, et al.
Veröffentlicht: (2025)

Automated Side-Channel Analysis of Cryptographic Protocol Implementations
von: Nasrabadi, Faezeh, et al.
Veröffentlicht: (2025)

Mapping Quantum Threats: An Engineering Inventory of Cryptographic Dependencies
von: Benitez, Carlos
Veröffentlicht: (2025)

Confidential Databases Without Cryptographic Mappings
von: Huang, Wenxuan, et al.
Veröffentlicht: (2026)

The Matrix Reloaded: A Mechanized Formal Analysis of the Matrix Cryptographic Suite
von: Ginesin, Jacob, et al.
Veröffentlicht: (2024)

Software-Defined Cryptography: A Design Feature of Cryptographic Agility
von: Cho, Jihoon, et al.
Veröffentlicht: (2024)

Lightweight Hybrid Block-Stream Cryptographic Algorithm for the Internet of Things
von: Vahi, Arsalan, et al.
Veröffentlicht: (2025)

Microbenchmarking Cloud Cryptographic Workloads for Privacy-Preserving Healthcare IoT
von: Webb, Jeremiah L., et al.
Veröffentlicht: (2026)

Structural Analysis of Cryptographic Sequences using Stringology-Based Fingerprinting
von: Kebande, Victor
Veröffentlicht: (2026)

PQC-LEO: An Evaluation Framework for Post-Quantum Cryptographic Algorithms
von: Turino, Callum, et al.
Veröffentlicht: (2026)

A Pragmatic Comparison of Cryptographic Computation Technologies for Machine Learning
von: Taubert, Marcus, et al.
Veröffentlicht: (2026)

ACE-GF: A Generative Framework for Atomic Cryptographic Entities
von: Wang, Jian Sheng
Veröffentlicht: (2025)

Security Assessment of Intel TDX with support for Live Migration
von: Swidowski, Kirk, et al.
Veröffentlicht: (2026)

FoC: Figure out the Cryptographic Functions in Stripped Binaries with LLMs
von: Shang, Xiuwei, et al.
Veröffentlicht: (2024)

WiFaKey: Generating Cryptographic Keys from Face in the Wild
von: Dong, Xingbo, et al.
Veröffentlicht: (2024)

Scalable Zero-Knowledge Proofs for Verifying Cryptographic Hashing in Blockchain Applications
von: Kuznetsov, Oleksandr, et al.
Veröffentlicht: (2024)