Skip to content

Author

Myhailo Rudenko

1 paper indexed here

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

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