Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Albert Garreta

dblp:213/3155 · DBLP profile ↗
← Back
7ranked-venue papers
4as first author
7since 2021 · last 2026
0000-0003-1272-1406ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 6 · 3 first-author · 6 since 2021Theory of computation · 1 · 1 first-author · 1 since 2021

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Network and information security
5 papers
Cryptographic protocols and secure computation · 79% Cryptographic primitives and cryptanalysis · 21%
Theoretical computer science
1 paper
Automata and formal languages · 77% Logic in computer science · 23%

Topics — the 12 heaviest of 12, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Cryptographic protocols and secure computation › proof systems
folding scheme
1.822026
Cyclo: Lightweight Lattice-Based Folding via Partial Range Checks · EUROCRYPT (7) 2026
FLI: Folding Lookup Instances · ASIACRYPT (5) 2024
Cryptographic protocols and secure computation › proof systems
interactive oracle proofs
1.122025
On Soundness Notions for Interactive Oracle Proofs · J. Cryptol. 2025
Fiat-Shamir Security of FRI and Related SNARKs · ASIACRYPT (2) 2023
Cryptographic primitives and cryptanalysis › post-quantum cryptography
lattice-based cryptography
1.012026
Cyclo: Lightweight Lattice-Based Folding via Partial Range Checks · EUROCRYPT (7) 2026
Cryptographic primitives and cryptanalysis
post-quantum cryptography
1.012026
Cyclo: Lightweight Lattice-Based Folding via Partial Range Checks · EUROCRYPT (7) 2026
Cryptographic protocols and secure computation › proof systems
soundness
0.912025
On Soundness Notions for Interactive Oracle Proofs · J. Cryptol. 2025
Cryptographic protocols and secure computation › proof systems › zero-knowledge proofs
succinct arguments
0.912025
sfZinc: Succinct Arguments with Small Arithmetization Overheads from IOPs of Proximity to the Integers · CRYPTO (7) 2025
Cryptographic protocols and secure computation › proof systems
lookup arguments
0.812024
FLI: Folding Lookup Instances · ASIACRYPT (5) 2024
Cryptographic protocols and secure computation › proof systems
zero-knowledge proofs
0.812024
FLI: Folding Lookup Instances · ASIACRYPT (5) 2024
Cryptographic protocols and secure computation
fiat-shamir transform
0.712023
Fiat-Shamir Security of FRI and Related SNARKs · ASIACRYPT (2) 2023
Cryptographic protocols and secure computation › proof systems › zero-knowledge proofs › succinct arguments
succinct non-interactive arguments
0.712023
Fiat-Shamir Security of FRI and Related SNARKs · ASIACRYPT (2) 2023
Automata and formal languages › semigroup theory
monoids
0.512021
On equations and first-order theory of one-relator monoids · Inf. Comput. 2021
Logic in computer science › first-order logic
first-order theory
0.112021
On equations and first-order theory of one-relator monoids · Inf. Comput. 2021

Methods — techniques the papers use, named apart from their topics

partial range checks · 1.0lookup instances · 0.8folding · 0.8
YearPublicationVenuePosition
2026 Cyclo: Lightweight Lattice-Based Folding via Partial Range Checks
Albert Garreta, Helger Lipmaa, Urmas Luhaäär, Michal Osadnik
EUROCRYPT (7)1
2025 sfZinc: Succinct Arguments with Small Arithmetization Overheads from IOPs of Proximity to the Integers
Albert Garreta, Hendrik Waldner, Ilia Vlasov, Katerina Hristova, Luca Dall'Ava, Marko Cupic, Matthew Klein
CRYPTO (7)1
2025 On Soundness Notions for Interactive Oracle Proofs
Alexander R. Block, Albert Garreta, Pratyush Ranjan Tiwari, Michal Zajac 0001
J. Cryptol.2
2024 FLI: Folding Lookup Instances
Albert Garreta, Ignacio Manzur
ASIACRYPT (5)1
2024 A Decentralized Private Data Marketplace using Blockchain and Secure Multi-Party Computation
abstract
Big data has proven to be a very useful tool for companies and users, but companies with larger datasets have ended being more competitive than the others thanks to machine learning or artificial intelligence. Secure multi-party computation (SMPC) allows the smaller companies to jointly train arbitrary models on their private data while assuring privacy, and thus gives data owners the ability to perform what are currently known as federated learning algorithms. Besides, with a blockchain it is possible to coordinate and audit those computations in a decentralized way. In this document, we consider a private data marketplace as a space where researchers and data owners meet to agree the use of private data for statistics or more complex model trainings. This document presents a candidate architecure for a private data marketplace by combining SMPC and a public, general-purpose blockchain. Such a marketplace is proposed as a smart contract deployed in the blockchain, while the privacy preserving computation is held by SMPC.
Julen Bernabé-Rodríguez, Albert Garreta, Oscar Lage
ACM Trans. Priv. Secur.2
2023 Fiat-Shamir Security of FRI and Related SNARKs
Alexander R. Block, Albert Garreta, Jonathan Katz, Justin Thaler, Pratyush Ranjan Tiwari, Michal Zajac 0001
ASIACRYPT (2)2
2021 On equations and first-order theory of one-relator monoids
Albert Garreta, Robert D. Gray
Inf. Comput.1