Imagen de Portada

Cryptographic Choreographies

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Mödersheim, Sebastian, Lund, Simon, Bruni, Alessandro, Carbone, Marco, Giustolisi, Rosario
Formato:	Preprint
Publicado:	2026
Materias:	Cryptography and Security
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

On Cryptographic Mechanisms for the Selective Disclosure of Verifiable Credentials
por: Flamini, Andrea, et al.
Publicado: (2024)

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

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

Systematic Review of Lightweight Cryptographic Algorithms
por: Khan, Mohsin, et al.
Publicado: (2026)

Cryptographic Verifiability for Voter Registration Systems
por: Fábrega, Andrés, et al.
Publicado: (2025)

Cryptographic Data Exchange for Nuclear Warheads
por: Perry, Neil, et al.
Publicado: (2025)

Cryptographic Keywords in NVD: Statistics and Visualization
por: Stanek, Martin
Publicado: (2024)

Cryptographic Application of Elliptic Curve with High Rank
por: Cheng, Xiaogang, et al.
Publicado: (2025)

MECHA: Multithreaded and Efficient Cryptographic Hardware Access
por: Derry, Pratama, et al.
Publicado: (2025)

Cryptis: Cryptographic Reasoning in Separation Logic
por: de Amorim, Arthur Azevedo, et al.
Publicado: (2025)

SBN Explorer: An Empirical Study of Cryptographic Boolean Networks
por: Valence, Arnaud
Publicado: (2026)

Understanding AI Methods for Intrusion Detection and Cryptographic Leakage
por: Zilouchian, Reza, et al.
Publicado: (2026)

Quantum-Resistant Cryptographic Models for Next-Gen Cybersecurity
por: Chhibber, Navin, et al.
Publicado: (2025)

Automated Side-Channel Analysis of Cryptographic Protocol Implementations
por: Nasrabadi, Faezeh, et al.
Publicado: (2025)

Mapping Quantum Threats: An Engineering Inventory of Cryptographic Dependencies
por: Benitez, Carlos
Publicado: (2025)

Confidential Databases Without Cryptographic Mappings
por: Huang, Wenxuan, et al.
Publicado: (2026)

Microbenchmarking Cloud Cryptographic Workloads for Privacy-Preserving Healthcare IoT
por: Webb, Jeremiah L., et al.
Publicado: (2026)

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

PQC-LEO: An Evaluation Framework for Post-Quantum Cryptographic Algorithms
por: Turino, Callum, et al.
Publicado: (2026)

A Pragmatic Comparison of Cryptographic Computation Technologies for Machine Learning
por: Taubert, Marcus, et al.
Publicado: (2026)

DROIDCCT: Cryptographic Compliance Test via Trillion-Scale Measurement
por: Moghimi, Daniel, et al.
Publicado: (2026)

Lightweight Hybrid Block-Stream Cryptographic Algorithm for the Internet of Things
por: Vahi, Arsalan, et al.
Publicado: (2025)

Software-Defined Cryptography: A Design Feature of Cryptographic Agility
por: Cho, Jihoon, et al.
Publicado: (2024)

ACE-GF: A Generative Framework for Atomic Cryptographic Entities
por: Wang, Jian Sheng
Publicado: (2025)

Condition-Triggered Cryptographic Asset Control via Dormant Authorization Paths
por: Wang, Jian Sheng
Publicado: (2026)

Key Length-Oriented Classification of Lightweight Cryptographic Algorithms for IoT Security
por: Vahi, Arsalan
Publicado: (2025)

FoC: Figure out the Cryptographic Functions in Stripped Binaries with LLMs
por: Shang, Xiuwei, et al.
Publicado: (2024)

WiFaKey: Generating Cryptographic Keys from Face in the Wild
por: Dong, Xingbo, et al.
Publicado: (2024)

Scalable Zero-Knowledge Proofs for Verifying Cryptographic Hashing in Blockchain Applications
por: Kuznetsov, Oleksandr, et al.
Publicado: (2024)

Toward a Common Understanding of Cryptographic Agility -- A Systematic Review
por: Näther, Christian, et al.
Publicado: (2024)

The Treasury Proof Ledger: A Cryptographic Framework for Accountable Bitcoin Treasuries
por: Puente, Jose E., et al.
Publicado: (2025)

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

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

Developing and Evaluating Lightweight Cryptographic Algorithms for Secure Embedded Systems in IoT Devices
por: Sedraoui, Brahim Khalil, et al.
Publicado: (2026)

Cryptographic Challenges: Masking Sensitive Data in Cyber Crimes through ASCII Art
por: Alejandre, Andres, et al.
Publicado: (2025)

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

A Novel Chaos-Based Cryptographic Scrambling Technique to Secure Medical Images
por: Sanaboina, Chandra Sekhar
Publicado: (2025)

Hierarchical Cryptographic Signature Mapping for Ransomware Classification: A Structural Decomposition Approach
por: Abernethy, Dominic, et al.
Publicado: (2025)

A Hybrid Chaos-Based Cryptographic Framework for Post-Quantum Secure Communications
por: Song, Kevin, et al.
Publicado: (2025)

MaskedHLS: Domain-Specific High-Level Synthesis of Masked Cryptographic Designs
por: Sarma, Nilotpola, et al.
Publicado: (2024)