Delegatable Functional Signatures

DOI10.1007/978-3-662-49384-7_14zbMath1388.94088OpenAlexW2187618957MaRDI QIDQ2798783

Sebastian Meiser, Dominique Schröder, Michael Backes

Publication date: 13 April 2016

Published in: Public-Key Cryptography – PKC 2016 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-49384-7_14

Mathematics Subject Classification ID

Authentication, digital signatures and secret sharing (94A62)

Related Items (2)

Hierarchical Attribute-Based Signatures ⋮ Unlinkable and invisible \(\gamma \)-sanitizable signatures

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Structured learning modulo theories
• Cardinality networks: a theoretical and empirical study
• Linearly homomorphic structure-preserving signatures and their applications
• Optimization in SMT with ${\mathcal LA}$ (ℚ) Cost Functions
• Optimization Modulo Theories with Linear Rational Costs
• Minimal-Model-Guided Approaches to Solving Polynomial Constraints and Extensions
• Towards an Optimal CNF Encoding of Boolean Cardinality Constraints
• Satisfiability Modulo the Theory of Costs: Foundations and Applications
• Pushing the Envelope of Optimization Modulo Theories with Linear-Arithmetic Cost Functions
• A Modular Approach to MaxSAT Modulo Theories
• Symbolic optimization with SMT solvers
• A Parametric Approach for Smaller and Better Encodings of Cardinality Constraints
• On SAT Modulo Theories and Optimization Problems

This page was built for publication: Delegatable Functional Signatures