ℹ️
🇬🇧
Search
Search for people relevant for "Provability"
Provability
Person
Class
Person
Publication
Programmes
Export current view
Mgr. Pavel Hubáček Ph.D.
Academic staff at Faculty of Mathematics and Physics
5 classes
11 publications
Classes
class
Foundations of theoretical cryptography
+1
NTIN104 |
Faculty of Mathematics and Physics
class
Complexity for Cryptography
NMMB405 |
Faculty of Mathematics and Physics
class
Probability and Cryptography
NMMB407 |
Faculty of Mathematics and Physics
class
Randomness and Calculations
NMMB432 |
Faculty of Mathematics and Physics
Publications
publication
PPP-Completeness and Extremal Combinatorics
2023 |
Faculty of Mathematics and Physics
publication
Tortoise and Hares Consensus: The Meshcash Framework for Incentive-Compatible, Scalable Cryptocurrencies
2021 |
Faculty of Mathematics and Physics
publication
On Search Complexity of Discrete Logarithm
2021 |
Faculty of Mathematics and Physics
publication
On Average-Case Hardness in TFNP from One-Way Functions
2020 |
Faculty of Mathematics and Physics
publication
HARDNESS OF CONTINUOUS LOCAL SEARCH: QUERY COMPLEXITY AND CRYPTOGRAPHIC LOWER BOUNDS
2020 |
Faculty of Mathematics and Physics
publication
Stronger Lower Bounds for Online ORAM
2019 |
Faculty of Mathematics and Physics
publication
Finding a Nash equilibrium is no easier than breaking Fiat-Shamir
2019 |
Faculty of Mathematics and Physics
publication
ARRIVAL: Next Stop in CLS
2018 |
Faculty of Mathematics and Physics
publication
An Efficiency-Preserving Transformation from Honest-Verifier Statistical Zero-Knowledge to Statistical Zero-Knowledge
2018 |
Faculty of Mathematics and Physics
publication
Must the Communication Graph of MPC Protocols be an Expander?
+1
2018 |
Faculty of Mathematics and Physics
Load more publications (1)
Loading network view...