Peter Gaži

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Practical settlement bounds for longest-chain consensus	2024-02-02	Paper
SNACKs: leveraging proofs of sequential work for blockchain light clients	2023-08-25	Paper
A composable security treatment of ECVRF and batch verifications	2023-07-28	Paper
Fast isomorphic state channels	2022-06-22	Paper
SoK: algorithmic incentive manipulation attacks on permissionless PoW cryptocurrencies	2022-06-01	Paper
Pay to win: cheap, cross-chain bribing attacks on PoW cryptocurrencies	2022-06-01	Paper
Dynamic ad hoc clock synchronization	2021-12-08	Paper
Ledger combiners for fast settlement	2021-12-01	Paper
Ouroboros Praos: an adaptively-secure, semi-synchronous proof-of-stake blockchain	2018-07-09	Paper
Provably robust sponge-based PRNGs and KDFs	2016-09-09	Paper
Generic security of NMAC and HMAC with input whitening	2016-03-23	Paper
The exact PRF security of truncation: tight bounds for keyed sponges and truncated CBC	2015-12-10	Paper
Query-complexity amplification for random oracles	2015-09-24	Paper
Relaxing full-codebook security: a refined analysis of key-length extension schemes	2015-09-18	Paper
The exact PRF-security of NMAC and HMAC	2014-08-07	Paper
Plain versus randomized cascading-based key-length extension for block ciphers	2013-09-02	Paper
Resource-restricted indifferentiability	2013-05-31	Paper
Efficient and optimally secure key-length extension for block ciphers via randomized cascading	2012-06-29	Paper
Free-start distinguishing: combining two types of indistinguishability amplification	2010-09-29	Paper
Cascade Encryption Revisited	2009-12-15	Paper
On ciphertext undetectability	2009-03-11	Paper
Assisted Problem Solving and Decompositions of Finite Automata	2008-03-07	Paper

Research outcomes over time

This page was built for person: Peter Gaži