:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Author:	Nakano, Tatsuya
Format:	Recurso digital
Language:
Published:	Zenodo 2026
Online Access:	https://doi.org/10.5281/zenodo.19654846
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Matrix Reloaded: A Mechanized Formal Analysis of the Matrix Cryptographic Suite
by: Ginesin, Jacob, et al.
Published: (2024)

CRYPTONITE: Scalable Accelerator Design for Cryptographic Primitives and Algorithms
by: Maheswaran, Karthikeya Sharma, et al.
Published: (2025)

The Jasmin Compiler Preserves Cryptographic Security
by: Arranz-Olmos, Santiago, et al.
Published: (2025)

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

Cryptographic Censorship
by: Engelhardt, Netta, et al.
Published: (2024)

Cryptographic Compression
by: Cooper, Joshua, et al.
Published: (2025)

Artifact for "The Jasmin Compiler Preserves Cryptographic Security."
by: Anonymous
Published: (2025)

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

TPU as Cryptographic Accelerator
by: Karanjai, Rabimba, et al.
Published: (2023)

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

Hybrid Quantum Walks Dynamics and Construction of a Quantum Cryptographic Primitive
by: Soni, Rachana, et al.
Published: (2025)

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

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

Cryptographic Hardness of Score Estimation
by: Song, Min Jae
Published: (2024)

Cryptographic Characterization of Quantum Advantage
by: Morimae, Tomoyuki, et al.
Published: (2024)

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

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

CREBench: Evaluating Large Language Models in Cryptographic Binary Reverse Engineering
by: Chen, Baicheng, et al.
Published: (2026)

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

Cryptographic Applications of Twisted Goppa Codes
by: Singh, Harshdeep, et al.
Published: (2026)

Confidential Databases Without Cryptographic Mappings
by: Huang, Wenxuan, et al.
Published: (2026)

Transactions on Cryptographic Hardware and Embedded Systems
Published: (2020)

On the Cryptographic Futility of Non-Collapsing Measurements
by: Cakan, Alper, et al.
Published: (2025)

Cryptographic approaches for confidential computations in blockchain
by: Morales Escalera, Daniel, et al.
Published: (2023)

Cryptographic transformations over polyadic rings
by: Duplij, Steven, et al.
Published: (2025)

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

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

Cryptographic tests of the python's lunch conjecture
by: May, Alex, et al.
Published: (2024)

On the Cryptographic Foundations of Interactive Quantum Advantage
by: Tomer, Kabir, et al.
Published: (2025)

Cryptographic Keywords in NVD: Statistics and Visualization
by: Stanek, Martin
Published: (2024)

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

Fully Resistive In‐Memory Cryptographic Engine with Dual‐Polarity Memristive Crossbar Array
by: Yeong Rok Kim, et al.
Published: (2024)

A Cryptographic Perspective on the Verifiability of Quantum Advantage
by: Chia, Nai-Hui, et al.
Published: (2023)

PQC Scanner Results: Aggregated and Per-Repository Cryptographic Primitive Findings (Python, Java, Go)
by: Mehl, Lukas
Published: (2026)

PQC Scanner Results: Aggregated and Per-Repository Cryptographic Primitive Findings (Python, Java, Go)
by: Mehl, Lukas
Published: (2026)

PQC Scanner Results: Aggregated and Per-Repository Cryptographic Primitive Findings (Python, Java, Go)
by: Mehl, Lukas
Published: (2026)

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

Constant-Size Cryptographic Evidence Structures for Regulated AI Workflows
by: Kao, Leo
Published: (2025)

Fundamental Limitations of Post-Quantum Cryptographic Architectures
by: Jung, Jiho, et al.
Published: (2026)

Cryptographic Fragility of Standard Quantum Repeater Protocols
by: Sadhu, Abhishek, et al.
Published: (2026)