Cover Image

Shallow Implementation of Quantum Fingerprinting with Application to Quantum Finite Automata

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ziiatdinov, Mansur, Khadieva, Aliya, Khadiev, Kamil
Format:	Preprint
Published:	2024
Subjects:	Quantum Physics Cryptography and Security Formal Languages and Automata Theory
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Representative Framework for Implementing Quantum Finite Automata on Real Devices
by: Khadieva, Aliya, et al.
Published: (2024)

On the Simulation Cost of Quantum Finite Automata
by: Chen, Zeyu, et al.
Published: (2026)

Implementing a Quantum Finite Automaton in IBMQ using Custom Control Pulses
by: Lussi, Eduardo Willwock, et al.
Published: (2024)

Cellular Automata based Resource Efficient Maximally Equidistributed Pseudo-Random Number Generators
by: A, Bhuvaneswari, et al.
Published: (2026)

Reachability Analysis of the Domain Name System
by: Nevatia, Dhruv, et al.
Published: (2024)

Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption
by: Waga, Masaki, et al.
Published: (2024)

Attack Tree Generation via Process Mining
by: Konsta, Alyzia-Maria, et al.
Published: (2024)

Regular Expression Denial of Service Induced by Backreferences
by: Liu, Yichen, et al.
Published: (2026)

Privacy-Preserving Runtime Verification
by: Henzinger, Thomas A., et al.
Published: (2025)

Verification and Attack Synthesis for Network Protocols
by: von Hippel, Max
Published: (2025)

Automated generation of attack trees with optimal shape and labelling
by: Gadyatskaya, Olga, et al.
Published: (2023)

Sharing The Secret: Distributed Privacy-Preserving Monitoring
by: Karimi, Mahyar, et al.
Published: (2026)

Formal Modelling and Security Analysis of Bitcoin's Payment Protocol
by: Modesti, Paolo, et al.
Published: (2021)

From High-Level Types to Low-Level Monitors: Synthesizing Verified Runtime Checkers for MAVLink
by: Amorim, Arthur, et al.
Published: (2026)

Nonuniform Families of Polynomial-Size Quantum Finite Automata and Quantum Logarithmic-Space Computation with Polynomial-Size Advice
by: Yamakami, Tomoyuki
Published: (2019)

Measure Many Quantum Finite Automata on Infinite Words
by: Midya, Abhisek, et al.
Published: (2026)

Robust and Attack Resilient Logic Locking with a High Application-Level Impact
by: Liu, Yuntao, et al.
Published: (2021)

How Does Adiabatic Quantum Computation Fit into Quantum Automata Theory?
by: Yamakami, Tomoyuki
Published: (2020)

Quantum Büchi Automata
by: Wang, Qisheng, et al.
Published: (2018)

The Quadratic State Cost of Classical Simulation of One-Way Quantum Finite Automata
by: Chen, Zeyu, et al.
Published: (2026)

Formally Verifying Noir Zero Knowledge Programs with NAVe
by: Antonino, Pedro, et al.
Published: (2026)

On the Origin of Quantum Uncertainty
by: Adami, Christoph
Published: (2020)

Compiling Quantum Regular Language States
by: Bellante, Armando, et al.
Published: (2026)

Finite Automata for Efficient Graph Recognition
by: Drewes, Frank, et al.
Published: (2024)

Repetitive Finite Automata With Translucent Letters
by: Mráz, František, et al.
Published: (2024)

Descriptional Complexity of Finite Automata -- Selected Highlights
by: Salomaa, Arto, et al.
Published: (2023)

The Bright Side of Timed Opacity
by: André, Étienne, et al.
Published: (2024)

Formally Discovering and Reproducing Network Protocols Vulnerabilities
by: Crochet, Christophe, et al.
Published: (2025)

Proving DNSSEC Correctness: A Formal Approach to Secure Domain Name Resolution
by: Zhang, Qifan, et al.
Published: (2025)

Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks (extended version)
by: Ye, Kangfeng, et al.
Published: (2025)

Agentproof: Static Verification of Agent Workflow Graphs
by: Xavier, Melwin, et al.
Published: (2026)

Optimal Approximate Minimization of One-Letter Weighted Finite Automata
by: Lacroce, Clara, et al.
Published: (2023)

Symmaries: Automatic Inference of Formal Security Summaries for Java Programs
by: Khakpour, Narges, et al.
Published: (2025)

Data-Flow-Based Normalization Generation Algorithm of R1CS for Zero-Knowledge Proof
by: Shi, Chenhao, et al.
Published: (2023)

Reversible Weighted Automata over Finite Rings and Monoids with Commuting Idempotents
by: Kostolányi, Peter, et al.
Published: (2026)

Mata, a Fast and Simple Finite Automata Library (Technical Report)
by: Chocholatý, David, et al.
Published: (2023)

Generalised Arc Consistency via the Synchronised Product of Finite Automata wrt a Constraint
by: Beldiceanu, Nicolas
Published: (2025)

Mathematical Approach in Automata and Automata Association
by: Maciel, Sergio Henrique
Published: (2020)

Productive Quantum Programming Needs Better Abstract Machines
by: Núñez-Corrales, Santiago, et al.
Published: (2025)

GrappaRE -- A Tool for Efficient Graph Recognition Based on Finite Automata and Regular Expressions
by: De Rosa, Mattia, et al.
Published: (2025)