Hubáček Pavel

0639103 - MÚ 2026 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Belohorec, Juraj - Dvořák, P. - Hoffmann, C. - Hubáček, Pavel - Mašková, Kristýna - Pastyřík, M.
On extractability of the KZG family of polynomial commitment schemes.
Advances in Cryptology – CRYPTO 2025. Cham: Springer, 2025 - (Tauman Kalai, Y.; Kamara, S.), s. 584-616. Lecture Notes in Computer Science, 16005. ISBN 978-3-032-01886-1. ISSN 0302-9743.
[45th Annual International Cryptology Conference (CRYPTO 2025). Santa Barbara (US), 17.08.2025-21.08.2025]
Grant CEP: GA ČR(CZ) GA25-16311S
Institucionální podpora: RVO:67985840
Klíčová slova: ARSDH * extractability * GARSDH * proof of knowledge of a polynomial
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.1007/978-3-032-01887-8_19
Trvalý odkaz: https://hdl.handle.net/11104/0369615

0582267 - MÚ 2025 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Folwarczný, Lukáš - Göös, M. - Hubáček, Pavel - Maystre, G. - Yuan, W.
One-way functions vs. TFNP: Simpler and improved.
15th Innovations in Theoretical Computer Science Conference (ITCS 2024). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2024 - (Guruswami, V.), č. článku 50. Leibniz International Proceedings in Informatics (LIPIcs), 287. ISBN 978-3-95977-309-6.
[15th Innovations in Theoretical Computer Science Conference (ITCS 2024). Berkeley (US), 30.01.2024-02.02.2024]
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: TFNP * one-way functions * Oracle * Black-Box
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý odkaz: https://hdl.handle.net/11104/0350366

0579718 - MÚ 2024 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Hoffmann, C. - Hubáček, Pavel - Kamath, C. - Krňák, T.
(Verifiable) delay functions from Lucas sequences.
Theory of Cryptography: 21st International Conference, TCC 2023, Taipei, Taiwan, November 29–December 2, 2023, Proceedings, Part IV. Cham: Springer, 2023 - (Rothblum, G.; Wee, H.), s. 336-362. Lecture Notes in Computer Science, 14372. ISBN 978-3-031-48623-4. ISSN 0302-9743.
[21st Theory of Cryptography Conference (TCC 2023). Taipei (TW), 29.11.2023-02.12.2023]
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: delay functions * Lucas sequences * verifiable delay functions
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.1007/978-3-031-48624-1_13
Hoffmann, C.
Trvalý odkaz: https://hdl.handle.net/11104/0348529

0573360 - MÚ 2024 RIV CH eng C - Konferenční příspěvek (zahraniční konf.)
Hoffmann, C. - Hubáček, Pavel - Kamath, C. - Pietrzak, K.
Certifying giant nonprimes.
Public-Key Cryptography – PKC 2023. Cham: Springer, 2023 - (Boldyreva, A.; Kolesnikov, V.), s. 530-553. Lecture Notes in Computer Science, 13940. ISBN 978-3-031-31367-7. ISSN 0302-9743.
[26th IACR International Conference on Practice and Theory of Public-Key Cryptography. Atlanta (US), 07.05.2023-10.05.2023]
Grant CEP: GA ČR(CZ) GX19-27871X
Institucionální podpora: RVO:67985840
Klíčová slova: chromium compounds * distributed projects * exponentiations
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.1007/978-3-031-31368-4_19
Hoffmann, C.
Trvalý odkaz: https://hdl.handle.net/11104/0343824

0639767 - MÚ 2026 RIV US eng J - Článek v odborném periodiku
Hoffmann, C. - Hubáček, Pavel - Ivanova, S.
Practical batch proofs of exponentiation.
IACR Communications in Cryptology. Roč. 2, č. 3 (2025), č. článku 9. ISSN 3006-5496
Grant CEP: GA ČR(CZ) GA25-16311S
Institucionální podpora: RVO:67985840
Klíčová slova: proofs of exponentiation * batching * benchmarking
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Způsob publikování: Open access
https://doi.org/10.62056/abvur-iuc
Trvalý odkaz: https://hdl.handle.net/11104/0370198

0644257 - MÚ 2027 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Hubáček, Pavel - Václavek, P. - Yeo, M.
Foundations of fiat-denominated loans collateralized by cryptocurrencies.
29th International Conference on Principles of Distributed Systems (OPODIS 2025). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2026 - (Arusoaie, A.; Onica, E.; Spear, M.; Tucci-Piergiovanni, S.), č. článku 6. Leibniz International Proceedings in Informatics (LIPIcs), 361. ISBN 978-3-95977-409-3.
[29th International Conference on Principles of Distributed Systems (OPODIS 2025). Iaşi (RO), 03.12.2025-05.11.2025]
Grant CEP: GA ČR(CZ) GA25-16311S
Institucionální podpora: RVO:67985840
Klíčová slova: blockchains * cryptocurrencies * mechanism design
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
https://doi.org/10.4230/LIPIcs.OPODIS.2025.6
Trvalý odkaz: https://hdl.handle.net/11104/0374100

0582265 - MÚ 2025 RIV DE eng C - Konferenční příspěvek (zahraniční konf.)
Hubáček, Pavel - Khaniki, Erfan - Thapen, Neil
TFNP intersections through the lens of feasible disjunction.
15th Innovations in Theoretical Computer Science Conference (ITCS 2024). Dagstuhl: Schloss Dagstuhl, Leibniz-Zentrum für Informatik, 2024 - (Guruswami, V.), č. článku 63. Leibniz International Proceedings in Informatics (LIPIcs), 287. ISBN 978-3-95977-309-6.
[15th Innovations in Theoretical Computer Science Conference (ITCS 2024). Berkeley (US), 30.01.2024-02.02.2024]
Grant CEP: GA ČR(CZ) GX19-27871X; GA ČR(CZ) GA23-04825S
Institucionální podpora: RVO:67985840
Klíčová slova: TFNP * feasible disjunction * proof complexity * TFNP intersection classes
Obor OECD: Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Trvalý odkaz: https://hdl.handle.net/11104/0350365