lqCCS provides scheduled semantics for quantum processes using physically admissible schedulers, yielding a bisimilarity that is adequate for indistinguishable quantum mixtures and a congruence for parallel composition.
Quantum cryptogra- phy: Public key distribution and coin tossing
7 Pith papers cite this work. Polarity classification is still indexing.
7
Pith papers citing it
citation-role summary
background 2
method 1
citation-polarity summary
verdicts
UNVERDICTED 7representative citing papers
Rigorous security proofs for variable-length QKD, phase-error bounding with imperfect detectors, marginal-constrained entropy accumulation, and authentication reductions place practical QKD on firmer mathematical ground.
A TFLN photonic chip achieves gigahertz-rate active manipulation of time-bin quantum states, enabling loophole-free entanglement certification and continuous QKD operation at 25 kbit/s.
Presents complex versions of Fisher information matrices and Cramér-Rao bounds for quantum estimation depending on complex parameters.
Arqon delivers reliable quantum network service via admission control and scheduling that satisfies defined reliability requirements for accepted demands in static topologies, with O(k^3) and O(N^3) complexity.
GHz-rate time-bin entangled photons were distributed over 30 km of metropolitan fiber with 93% visibility using standard components.
Presents a hierarchy of private delegated quantum computation protocols separating state privacy, transcript ambiguity, and output privacy under stated leakage and collusion assumptions.
citing papers explorer
-
Verification of Quantum Protocols Adopting Physically Admissible Schedulers
lqCCS provides scheduled semantics for quantum processes using physically admissible schedulers, yielding a bisimilarity that is adequate for indistinguishable quantum mixtures and a congruence for parallel composition.
-
Rigorous Security Proofs for Practical Quantum Key Distribution
Rigorous security proofs for variable-length QKD, phase-error bounding with imperfect detectors, marginal-constrained entropy accumulation, and authentication reductions place practical QKD on firmer mathematical ground.
-
Gigahertz-rate thin-film lithium niobate receiver for time-bin quantum communication
A TFLN photonic chip achieves gigahertz-rate active manipulation of time-bin quantum states, enabling loophole-free entanglement certification and continuous QKD operation at 25 kbit/s.
-
Complex Field Formulation of the Quantum Estimation Theory
Presents complex versions of Fisher information matrices and Cramér-Rao bounds for quantum estimation depending on complex parameters.
-
Arqon: A suite of control applications enabling a reliable quantum network
Arqon delivers reliable quantum network service via admission control and scheduling that satisfies defined reliability requirements for accepted demands in static topologies, with O(k^3) and O(N^3) complexity.
-
Distribution of GHz sequential Time-bin Entanglement in a Metropolitan Fiber Network
GHz-rate time-bin entangled photons were distributed over 30 km of metropolitan fiber with 93% visibility using standard components.
-
Private Delegated Quantum Computing for User-Level and Industry-Level Settings
Presents a hierarchy of private delegated quantum computation protocols separating state privacy, transcript ambiguity, and output privacy under stated leakage and collusion assumptions.