| dc.contributor.author | Boyle, Elette | |
| dc.contributor.author | Goldwasser, Shafi | |
| dc.contributor.author | Ivan, Ioana Elisabeta | |
| dc.date.accessioned | 2014-05-15T18:30:32Z | |
| dc.date.available | 2014-05-15T18:30:32Z | |
| dc.date.issued | 2014 | |
| dc.identifier.isbn | 978-3-642-54630-3 | |
| dc.identifier.isbn | 978-3-642-54631-0 | |
| dc.identifier.issn | 0302-9743 | |
| dc.identifier.issn | 1611-3349 | |
| dc.identifier.uri | http://hdl.handle.net/1721.1/87009 | |
| dc.description.abstract | We introduce two new cryptographic primitives: functional digital signatures and functional pseudorandom functions.
In a functional signature scheme, in addition to a master signing key that can be used to sign any message, there are signing keys for a function f, which allow one to sign any message in the range of f. As a special case, this implies the ability to generate keys for predicates P, which allow one to sign any message m for which P(m) = 1.
We show applications of functional signatures to constructing succinct non-interactive arguments and delegation schemes. We give several general constructions for this primitive based on different computational hardness assumptions, and describe the trade-offs between them in terms of the assumptions they require and the size of the signatures.
In a functional pseudorandom function, in addition to a master secret key that can be used to evaluate the pseudorandom function F on any point in the domain, there are additional secret keys for a function f, which allow one to evaluate F on any y for which there exists an x such that f(x) = y. As a special case, this implies pseudorandom functions with selective access, where one can delegate the ability to evaluate the pseudorandom function on inputs y for which a predicate P(y) = 1 holds. We define and provide a sample construction of a functional pseudorandom function family for prefix-fixing functions. This construction yields, in particular, punctured pseudorandom functions, which have proven an invaluable tool in recent advances in obfuscation (Sahai and Waters ePrint 2013). | en_US |
| dc.description.sponsorship | United States. Air Force Research Laboratory (agreement number FA8750-11-2-0225) | en_US |
| dc.description.sponsorship | National Science Foundation (U.S.) (Trustworthy Computing Program: NSF CCF-1018064) | en_US |
| dc.description.sponsorship | European Union (Tenth Framework Programme (FP10/ 2010-2016), grant agreement no. 259426 ERC-CaC) | en_US |
| dc.language.iso | en_US | |
| dc.publisher | Springer-Verlag Berlin Heidelberg | en_US |
| dc.relation.isversionof | http://dx.doi.org/10.1007/978-3-642-54631-0_29 | en_US |
| dc.rights | Creative Commons Attribution-Noncommercial-Share Alike | en_US |
| dc.rights.uri | http://creativecommons.org/licenses/by-nc-sa/4.0/ | en_US |
| dc.source | Other repository | en_US |
| dc.title | Functional Signatures and Pseudorandom Functions | en_US |
| dc.type | Article | en_US |
| dc.identifier.citation | Boyle, Elette, Shafi Goldwasser, and Ioana Ivan. “Functional Signatures and Pseudorandom Functions.” in Public-Key Cryptography – PKC 2014, edited by Hugo Krawczyk. Springer: Berlin, 2014. (Lecture Notes in Computer Science; volume 8383) (2014): 501–519. | en_US |
| dc.contributor.department | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory | en_US |
| dc.contributor.department | Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science | en_US |
| dc.contributor.mitauthor | Goldwasser, Shafi | en_US |
| dc.relation.journal | Public-Key Cryptography – PKC 2014 | en_US |
| dc.eprint.version | Author's final manuscript | en_US |
| dc.type.uri | http://purl.org/eprint/type/ConferencePaper | en_US |
| eprint.status | http://purl.org/eprint/status/NonPeerReviewed | en_US |
| dspace.orderedauthors | Boyle, Elette; Goldwasser, Shafi; Ivan, Ioana | en_US |
| dc.identifier.orcid | https://orcid.org/0000-0003-4728-1535 | |
| mit.license | OPEN_ACCESS_POLICY | en_US |
| mit.metadata.status | Complete | |