Revisiting Proxy Re-Encryption: Forward Secrecy, Improved Security, and Applications


Revisiting Proxy Re-Encryption: Forward Secrecy, Improved Security, and Applications


David Derler (TUG), Stephan Krenn (AIT), Thomas Lorünser (AIT), Sebastian Ramacher (TUG), Daniel Slamanig (AIT), Christoph Striecks (AIT)


We revisit the notion of proxy re-encryption (PRE), an enhanced public-key encryption primitive envisioned by Blaze et al. (EUROCRYPT 1998) and formalized by Ateniese et al. (NDSS 2005). PRE allows to craft fine-granular re-encryption keys in order to equip a semi-trusted proxy with the power of transforming a ciphertexts under a sender’s public-key to ciphertexts under a receiver’s public-key, while not learning anything about the underlying plaintexts.

We study an attractive cryptographic property for PRE, namely that of forward secrecy. In a forward-secret PRE system, the proxy periodically evolves the re-encryption keys and permanently erases old versions, while the sender’s public key is kept constant. Hence, ciphertexts for old periods are no longer re-encryptable and, in particular, cannot be decrypted anymore at the receiver’s end. Moreover, senders evolve their keys too, and thus not even the senders can decrypt old ciphertexts once they have deleted their key material from past periods. This, as we will discuss, directly has application in short-term data/message-sharing scenarios.

Technically, we formalize forward-secret PRE (fs-PRE). In doing so, we identify a subtle but significant gap in the well-established security model for conventional PRE and close it with our formalization (fs-PRE + ). We present the first provably secure and efficient constructions of fs-PRE as well as PRE (implied by the former) satisfying the strong fs-PRE + and PRE + notion respectively. All our constructions are instantiable in the standard model under standard assumptions and our central building block are hierarchical identity-based encryption (HIBE) schemes that only need to be selectively secure.


Public Key Cryptography (PKC),

Place and Date

Rio De Janeiro, Brazil, March 25-28, 2018