Tightly-Secure Signatures from Five-Move Identification Protocols

We carry out a concrete security analysis of signature schemes obtained from five-move identification protocols via the Fiat-Shamir transform. Concretely, we obtain tightly-secure signatures based on the computational Diffie-Hellman (CDH), the short-exponent CDH, and the Factoring (FAC) assumptions. All our signature schemes have tight reductions to search problems, which is in stark contrast to all known signature schemes obtained from the classical Fiat-Shamir transform (based on three-move identification protocols), which either have a non-tight reduction to a search problem, or a tight reduction to a (potentially) stronger decisional problem. Surprisingly, our CDH-based scheme turns out to be (a slight simplification of) the Chevallier-Mames signature scheme (CRYPTO 05), thereby providing a theoretical explanation of its tight security proof via five-move identification protocols

An exploration of scenarios to support sustainable land management using integrated environmental socio-economic models

Scenario analysis constitutes a valuable deployment method for scientific models to inform environmental decision-making, particularly for evaluating land degradation mitigation options, which are rarely based on formal analysis. In this paper we demonstrate such an assessment using the PESERA–DESMICE modeling framework with various scenarios for 13 global land degradation hotspots. Starting with an initial assessment representing land degradation and productivity under current conditions, options to combat instances of land degradation are explored by determining: (1) Which technologies are most biophysically appropriate and most financially viable in which locations; we term these the “technology scenarios”; (2) how policy instruments such as subsidies influence upfront investment requirements and financial viability and how they lead to reduced levels of land degradation; we term these the “policy scenarios”; and (3) how technology adoption affects development issues such as food production and livelihoods; we term these the “global scenarios”. Technology scenarios help choose the best technology for a given area in biophysical and financial terms, thereby outlining where policy support may be needed to promote adoption; policy scenarios assess whether a policy alternative leads to a greater extent of technology adoption; while global scenarios demonstrate how implementing technologies may serve wider sustainable development goals. Scenarios are applied to assess spatial variation within study sites as well as to compare across different sites. Our results show significant scope to combat land degradation and raise agricultural productivity at moderate cost. We conclude that scenario assessment can provide informative input to multi-level land management decision-making processes