Federated learning has emerged as a promising approach for collaborative and privacy-
preserving learning. Participants in a federated learning process cooperatively train a model …

We construct a pairing based simulation-extractable SNARK (SE-SNARK) that consists of
only 3 group elements and has highly efficient verification. By formally linking SE-SNARKs to …

Functional encryption is a modern public-key paradigm where a master secret key can be
used to derive sub-keys SK_F associated with certain functions F in such a way that the …

Time and again, attribute-based encryption has been shown to be the natural cryptographic
tool for building various types of conditional access systems with far-reaching applications …

We study the problem of building non-interactive proof systems modularly by linking small
specialized" gadget" SNARKs in a lightweight manner. Our motivation is both theoretical and …

Non-interactive batch arguments for NP provide a way to amortize the cost of NP verification
across multiple instances. They enable a prover to convince a verifier of multiple NP …

We present a modular framework for the design of efficient adaptively secure attribute-based
encryption (ABE) schemes for a large class of predicates under the standard k-Lin …

We consider a situation where multiple parties, owning data that have to be frequently
updated, agree to share weighted sums of these data with some aggregator, but where they …

We present new constructions of multi-input functional encryption (MIFE) schemes for the
inner-product functionality that improve the state of the art solution of Abdalla et al.(Eurocrypt …

We present a multi-input functional encryption scheme (MIFE) for the inner product
functionality based on the k-Lin assumption in prime-order bilinear groups. Our construction …