Jakub Janku

Orcid: 0009-0007-3156-4967

According to our database¹, Jakub Janku authored at least 2 papers between 2024 and 2025.

Collaborative distances:

Timeline

Book In proceedings Article PhD thesis Dataset Other

2025

Forking Lemma in EasyCrypt.

[DOI]

IACR Cryptol. ePrint Arch., 2025

2024

Trust-minimizing BDHKE-based e-cash mint using secure hardware and distributed computation.

[DOI]

Proceedings of the 19th International Conference on Availability, Reliability and Security, 2024