Composable Definitions of Long-Term Security for Commitment Schemes and their Applications

Was passiert, falls eine kryptographische Annahme als nicht mehr sicher gilt und in welcher Weise betrifft dies die Sicherheit von kryptographischen Protkollen?
In dieser Hinsicht mag man sich überlegen, die Sicherheitsannahme zu aktualisieren und die Sicherheit des aktualisierten Protokolls inklusive der Aktualisierungsprozedur nachzuweisen. Wie jedoch lässt sich die Sicherheit des aktualisierten Protokolls und der Aktualisierungsprozedur nachweisen?
Eine Möglichkeit wäre zu beweisen, dass das gegebene Protokoll nachweisbar langfristig UC-sicher ist, ein Sicherheitsbegriff bei dem angenommen wird dass der Angreifer nach Protokollausführung unbeschränkt ist und daher nach Protokollausführung keine Komplexitätsannahmen gelten. ... mehrZudem wurden Unmöglichkeitsresultate gezeigt, insbesondere für Commitmentprotokolle. Daher kann der Begriff der langfristigen UC-Sicherheit etwas zu stark sein, wenn man die Sicherheit gegenüber Angreifern nachweisen möchte, die zwar während der Protokollausführung die Rechenkapazität erhöht, diese aber limitiert bleibt, auch nach der Ausführung des Protkolls.
In dieser Arbeit definieren wir einen gelockerten Begriff der langfristigen UC-Sicherheit, den wir F^{post}-Sicherheit nennen.
Darüber hinaus möchten wir zeigen, wie man ein F^{post}-sicheres Commitment-Schema verwenden kann, um einen Common Reference String (CRS) eines anderen Commitments zu aktualisieren.

What happens if a cryptographic assumption turns out not to hold and in which way does it affect the security of cryptographic protocols?
One might consider on updating the security assumption and prove the security of the updated protocol with this new security assumption including the update procedure. But how to prove the security of the updated protocol and the update procedure? One way
might be to prove the protocol in question as long-term UC secure, a security framework which assumes that an adversary is unbounded after the computation of the protocol is completed and therefore computational assumptions do not hold once the protocol has finished its computation. ... mehrAdditionally, for long-term UC security are impossibility results shown, especially for commitment protocols. Therefore the notion of long-term UC security may be too strong if one wants to prove security against adversaries that increase their computational power during the computation since such an adversary is still computationally bounded, even after the computation of a protocol is completed.
In this thesis, we define a relaxed notion of long-term security, called F^{post} security.
Additionally, we show a combination of commitment and coin toss protocols to toss a new CRS of an updated commitment scheme such that the commitment scheme is F^{post} secure.