Skip to content

Author

M. Korobchynskyi

We have 2 of 40 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Conference Sep 2026

Type Safe OCaml Bindings for the Open Quantum Safe Post-Quantum Cryptography Library

The finalization of NIST post-quantum cryptography (PQC) standards necessitates the immediate migration of security-critical ecosystems to quantum-resistant algorithms. Despite OCaml powering high-assurance security infrastructure such as MirageOS unikernels, the Tezos blockchain, and NetHSM hardware security modules,...

Y. Kotukh, M. Korobchynskyi, Myhailo Rudenko et al. · 0 citations
Open access Jul 2026

Problems and prospects of building authentication methods in quantum key distribution channels

The paper addresses entity authentication in quantum key distribution (QKD) systems as a decisive condition of their practical security and proposes the construction of entity-authentication methods based on post-quantum zero-knowledge proofs operating over the classical control plane of scalable QKD networks.

Y. Kotukh, M. Korobchynskyi, V. Kozlovskyi et al. · 0 citations

We use cookies to run the site and, with your consent, for analytics and to show ads. See our Cookie Policy.