### Abstract

The hash-and-sign RSA signature is one of the most elegant and well known signatures schemes, extensively used in a wide variety of cryptographic applications. Unfortunately, the only existing analysis of this popular signature scheme is in the random oracle model, where the resulting idealized signature is known as the RSA Full Domain Hash signature scheme (RSA-FDH). In fact, prior work has shown several "uninstantiability" results for various abstractions of RSA-FDH, where the RSA function was replaced by a family of trapdoor random permutations, or the hash function instantiating the random oracle could not be keyed. These abstractions, however, do not allow the reduction and the hash function instantiation to use the algebraic properties of RSA function, such as the multiplicative group structure of ℤ* _{n}. n. In contrast, the multiplicative property of the RSA function is critically used in many standard model analyses of various RSA-based schemes. Motivated by closing this gap, we consider the setting where the RSA function representation is generic (i.e., black-box) but multiplicative, whereas the hash function itself is in the standard model, and can be keyed and exploit the multiplicative properties of the RSA function. This setting abstracts all known techniques for designing provably secure RSA-based signatures in the standard model, and aims to address the main limitations of prior uninstantiability results. Unfortunately, we show that it is still impossible to reduce the security of RSA-FDH to any natural assumption even in our model. Thus, our result suggests that in order to prove the security of a given instantiation of RSA-FDH, one should use a non-black box security proof, or use specific properties of the RSA group that are not captured by its multiplicative structure alone. We complement our negative result with a positive result, showing that the RSA-FDH signatures can be proven secure under the standard RSA assumption, provided that the number of signing queries is a-priori bounded.

Original language | English (US) |
---|---|

Title of host publication | Theory of Cryptography - 9th Theory of Cryptography Conference, TCC 2012, Proceedings |

Pages | 112-132 |

Number of pages | 21 |

DOIs | |

State | Published - 2012 |

Event | 9th Theory of Cryptography Conference, TCC 2012 - Taormina, Sicily, Italy Duration: Mar 19 2012 → Mar 21 2012 |

### Publication series

Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
---|---|

Volume | 7194 LNCS |

ISSN (Print) | 0302-9743 |

ISSN (Electronic) | 1611-3349 |

### Other

Other | 9th Theory of Cryptography Conference, TCC 2012 |
---|---|

Country | Italy |

City | Taormina, Sicily |

Period | 3/19/12 → 3/21/12 |

### Keywords

- Black-Box Reductions
- Full Domain Hash
- Generic Groups
- Hash-and-Sign
- RSA Signature
- Random Oracle Heuristic

### ASJC Scopus subject areas

- Theoretical Computer Science
- Computer Science(all)

## Fingerprint Dive into the research topics of 'On the instantiability of hash-and-sign RSA signatures'. Together they form a unique fingerprint.

## Cite this

*Theory of Cryptography - 9th Theory of Cryptography Conference, TCC 2012, Proceedings*(pp. 112-132). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7194 LNCS). https://doi.org/10.1007/978-3-642-28914-9_7