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
https://portal.mardi4nfdi.de/entity/Q3613103	2009-03-11	Paper
Assisted Problem Solving and Decompositions of Finite Automata	2008-03-07	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Peter Gaži