Are DSA and ECDSA provably secure assuming DL security?DSA, RSA, ECDSA etc - which one is cheapest for signing?Verifying DER encoded DSA/ECDSA signature with extra content?Can Alice send Bob a secure message with only DSA and no key exchange?Cost of attack on DSA with attack on DLPWhat is the intuition for ECDSA?How does the “biased-$k$ attack” on (EC)DSA work?Why is ECDSA secure?Is it actually possible to secure data with gpg DSA keys?Group signatures, security and ECDSASecurity of Fast Two-Party ECDSA Signing

How to project 3d image in the planes xy, xz, yz?

Compiling c files on ubuntu and using the executable on Windows

How did students remember what to practise between lessons without any sheet music?

What is the actual quality of machine translations?

Confusion about off peak timings of London trains

Random Unitary Matrices

What makes an item an artifact?

Can a user sell my software (MIT license) without modification?

How do governments keep track of their issued currency?

"You've got another thing coming" - translation into French

What's the largest optical telescope mirror ever put in space?

Is the term 'open source' a trademark?

How would a aircraft visually signal "in distress"?

Why only the fundamental frequency component is said to give useful power?

Russian equivalents of "no love lost"

How to retract an idea already pitched to an employer?

Find the Factorial From the Given Prime Relationship

How can I most clearly write a homebrew item that affects the ground below its radius after the initial explosion it creates?

Are DSA and ECDSA provably secure assuming DL security?

Can an Aarakocra use a shield while flying?

How did they achieve the Gunslinger's shining eye effect in Westworld?

Should I give professor gift at the beginning of my PhD?

What's the name of this light airplane?

Why is one of Madera Municipal's runways labelled with only "R" on both sides?



Are DSA and ECDSA provably secure assuming DL security?


DSA, RSA, ECDSA etc - which one is cheapest for signing?Verifying DER encoded DSA/ECDSA signature with extra content?Can Alice send Bob a secure message with only DSA and no key exchange?Cost of attack on DSA with attack on DLPWhat is the intuition for ECDSA?How does the “biased-$k$ attack” on (EC)DSA work?Why is ECDSA secure?Is it actually possible to secure data with gpg DSA keys?Group signatures, security and ECDSASecurity of Fast Two-Party ECDSA Signing













4












$begingroup$


Is there proof that the DSA construction, also used by ECDSA, is secure assuming that discrete logarithms in the relevant group representation are difficult?










share|improve this question









$endgroup$
















    4












    $begingroup$


    Is there proof that the DSA construction, also used by ECDSA, is secure assuming that discrete logarithms in the relevant group representation are difficult?










    share|improve this question









    $endgroup$














      4












      4








      4





      $begingroup$


      Is there proof that the DSA construction, also used by ECDSA, is secure assuming that discrete logarithms in the relevant group representation are difficult?










      share|improve this question









      $endgroup$




      Is there proof that the DSA construction, also used by ECDSA, is secure assuming that discrete logarithms in the relevant group representation are difficult?







      provable-security dsa






      share|improve this question













      share|improve this question











      share|improve this question




      share|improve this question










      asked 8 hours ago









      MyriaMyria

      943414




      943414




















          1 Answer
          1






          active

          oldest

          votes


















          4












          $begingroup$

          (The (EC)DSA algorithm involves two functions: (i) the "conversion function" $f$, which for the case of DSA is a modulo $q$ operation and for ECDSA is the modulo $q$ operation applied to the $x$-coordinate of the input point; and (ii) $H$ a cryptographic hash function applied to the message.)



          Brown [B] showed that the DLP implies security of ECDSA in the generic group model and under idealised modelling of the conversion function $f$. The second assumption is in particular unrealistic as in (EC)DSA it is implemented by a simple modulo operation.



          There have been some recent results by Fersch et al. [FKP1,FKP2] which have tried to relax the above assumptions. In [FKP1] it is shown that under weaker (but still quite strong) assumption on the conversion function $f$ (and under some reasonable assumption on the hash function $H$) that DLP implies the security of (EC)DSA. Perhaps the security argument with the most reasonable assumptions is given in [FKP2]. There, assuming that the hash function $H$ is modelled as a random oracle, and the signer issues at most one signature per message, then EC(DSA) is unforgeable if and only if they are key-only unforgeable (this applies also to other schemes like the Russian GOST 34.14 and the Chinese SM2). It is not known if the key-only security of (EC)DSA reduces to DLP.



          So, in short, the answer would be no, not under reasonable assumptions.



          (Note however, that there are close variants of the (EC)DSA, most notably the Schnorr signature and the scheme by Brickell et al [B+] which do come with security reductions in the random oracle model. Also it is baffling why (EC)DSA is still in use since the patent on Schnorr expired in 2008.)



          [B] Brown. Generic Groups, Collision Resistance and ECDSA.



          [B+] Brickell et al. Design validations for discrete logarithm based signature schemes. PKC'00.



          [FKP1] Fersch, Kiltz and Pöttering. On the Provable Security of (EC)DSA Signatures. CCS'16.



          [FKP2] Fersch, Kiltz and Pöttering. On the One-Per-Message Unforgeability of (EC)DSA and its Variants. TCC'17.






          share|improve this answer











          $endgroup$












          • $begingroup$
            Your answer is better than mine was.
            $endgroup$
            – fgrieu
            7 hours ago










          • $begingroup$
            Based on context, $f$ is the reduction of the group operation $g^k$ interpreted as an integer, taken modulo $q$?
            $endgroup$
            – Myria
            6 hours ago










          • $begingroup$
            That's correct, and $H$ is the hash function applied to the message. I'll add it to the answer.
            $endgroup$
            – Occams_Trimmer
            6 hours ago












          Your Answer








          StackExchange.ready(function()
          var channelOptions =
          tags: "".split(" "),
          id: "281"
          ;
          initTagRenderer("".split(" "), "".split(" "), channelOptions);

          StackExchange.using("externalEditor", function()
          // Have to fire editor after snippets, if snippets enabled
          if (StackExchange.settings.snippets.snippetsEnabled)
          StackExchange.using("snippets", function()
          createEditor();
          );

          else
          createEditor();

          );

          function createEditor()
          StackExchange.prepareEditor(
          heartbeatType: 'answer',
          autoActivateHeartbeat: false,
          convertImagesToLinks: false,
          noModals: true,
          showLowRepImageUploadWarning: true,
          reputationToPostImages: null,
          bindNavPrevention: true,
          postfix: "",
          imageUploader:
          brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
          contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
          allowUrls: true
          ,
          noCode: true, onDemand: true,
          discardSelector: ".discard-answer"
          ,immediatelyShowMarkdownHelp:true
          );



          );













          draft saved

          draft discarded


















          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fcrypto.stackexchange.com%2fquestions%2f71029%2fare-dsa-and-ecdsa-provably-secure-assuming-dl-security%23new-answer', 'question_page');

          );

          Post as a guest















          Required, but never shown

























          1 Answer
          1






          active

          oldest

          votes








          1 Answer
          1






          active

          oldest

          votes









          active

          oldest

          votes






          active

          oldest

          votes









          4












          $begingroup$

          (The (EC)DSA algorithm involves two functions: (i) the "conversion function" $f$, which for the case of DSA is a modulo $q$ operation and for ECDSA is the modulo $q$ operation applied to the $x$-coordinate of the input point; and (ii) $H$ a cryptographic hash function applied to the message.)



          Brown [B] showed that the DLP implies security of ECDSA in the generic group model and under idealised modelling of the conversion function $f$. The second assumption is in particular unrealistic as in (EC)DSA it is implemented by a simple modulo operation.



          There have been some recent results by Fersch et al. [FKP1,FKP2] which have tried to relax the above assumptions. In [FKP1] it is shown that under weaker (but still quite strong) assumption on the conversion function $f$ (and under some reasonable assumption on the hash function $H$) that DLP implies the security of (EC)DSA. Perhaps the security argument with the most reasonable assumptions is given in [FKP2]. There, assuming that the hash function $H$ is modelled as a random oracle, and the signer issues at most one signature per message, then EC(DSA) is unforgeable if and only if they are key-only unforgeable (this applies also to other schemes like the Russian GOST 34.14 and the Chinese SM2). It is not known if the key-only security of (EC)DSA reduces to DLP.



          So, in short, the answer would be no, not under reasonable assumptions.



          (Note however, that there are close variants of the (EC)DSA, most notably the Schnorr signature and the scheme by Brickell et al [B+] which do come with security reductions in the random oracle model. Also it is baffling why (EC)DSA is still in use since the patent on Schnorr expired in 2008.)



          [B] Brown. Generic Groups, Collision Resistance and ECDSA.



          [B+] Brickell et al. Design validations for discrete logarithm based signature schemes. PKC'00.



          [FKP1] Fersch, Kiltz and Pöttering. On the Provable Security of (EC)DSA Signatures. CCS'16.



          [FKP2] Fersch, Kiltz and Pöttering. On the One-Per-Message Unforgeability of (EC)DSA and its Variants. TCC'17.






          share|improve this answer











          $endgroup$












          • $begingroup$
            Your answer is better than mine was.
            $endgroup$
            – fgrieu
            7 hours ago










          • $begingroup$
            Based on context, $f$ is the reduction of the group operation $g^k$ interpreted as an integer, taken modulo $q$?
            $endgroup$
            – Myria
            6 hours ago










          • $begingroup$
            That's correct, and $H$ is the hash function applied to the message. I'll add it to the answer.
            $endgroup$
            – Occams_Trimmer
            6 hours ago
















          4












          $begingroup$

          (The (EC)DSA algorithm involves two functions: (i) the "conversion function" $f$, which for the case of DSA is a modulo $q$ operation and for ECDSA is the modulo $q$ operation applied to the $x$-coordinate of the input point; and (ii) $H$ a cryptographic hash function applied to the message.)



          Brown [B] showed that the DLP implies security of ECDSA in the generic group model and under idealised modelling of the conversion function $f$. The second assumption is in particular unrealistic as in (EC)DSA it is implemented by a simple modulo operation.



          There have been some recent results by Fersch et al. [FKP1,FKP2] which have tried to relax the above assumptions. In [FKP1] it is shown that under weaker (but still quite strong) assumption on the conversion function $f$ (and under some reasonable assumption on the hash function $H$) that DLP implies the security of (EC)DSA. Perhaps the security argument with the most reasonable assumptions is given in [FKP2]. There, assuming that the hash function $H$ is modelled as a random oracle, and the signer issues at most one signature per message, then EC(DSA) is unforgeable if and only if they are key-only unforgeable (this applies also to other schemes like the Russian GOST 34.14 and the Chinese SM2). It is not known if the key-only security of (EC)DSA reduces to DLP.



          So, in short, the answer would be no, not under reasonable assumptions.



          (Note however, that there are close variants of the (EC)DSA, most notably the Schnorr signature and the scheme by Brickell et al [B+] which do come with security reductions in the random oracle model. Also it is baffling why (EC)DSA is still in use since the patent on Schnorr expired in 2008.)



          [B] Brown. Generic Groups, Collision Resistance and ECDSA.



          [B+] Brickell et al. Design validations for discrete logarithm based signature schemes. PKC'00.



          [FKP1] Fersch, Kiltz and Pöttering. On the Provable Security of (EC)DSA Signatures. CCS'16.



          [FKP2] Fersch, Kiltz and Pöttering. On the One-Per-Message Unforgeability of (EC)DSA and its Variants. TCC'17.






          share|improve this answer











          $endgroup$












          • $begingroup$
            Your answer is better than mine was.
            $endgroup$
            – fgrieu
            7 hours ago










          • $begingroup$
            Based on context, $f$ is the reduction of the group operation $g^k$ interpreted as an integer, taken modulo $q$?
            $endgroup$
            – Myria
            6 hours ago










          • $begingroup$
            That's correct, and $H$ is the hash function applied to the message. I'll add it to the answer.
            $endgroup$
            – Occams_Trimmer
            6 hours ago














          4












          4








          4





          $begingroup$

          (The (EC)DSA algorithm involves two functions: (i) the "conversion function" $f$, which for the case of DSA is a modulo $q$ operation and for ECDSA is the modulo $q$ operation applied to the $x$-coordinate of the input point; and (ii) $H$ a cryptographic hash function applied to the message.)



          Brown [B] showed that the DLP implies security of ECDSA in the generic group model and under idealised modelling of the conversion function $f$. The second assumption is in particular unrealistic as in (EC)DSA it is implemented by a simple modulo operation.



          There have been some recent results by Fersch et al. [FKP1,FKP2] which have tried to relax the above assumptions. In [FKP1] it is shown that under weaker (but still quite strong) assumption on the conversion function $f$ (and under some reasonable assumption on the hash function $H$) that DLP implies the security of (EC)DSA. Perhaps the security argument with the most reasonable assumptions is given in [FKP2]. There, assuming that the hash function $H$ is modelled as a random oracle, and the signer issues at most one signature per message, then EC(DSA) is unforgeable if and only if they are key-only unforgeable (this applies also to other schemes like the Russian GOST 34.14 and the Chinese SM2). It is not known if the key-only security of (EC)DSA reduces to DLP.



          So, in short, the answer would be no, not under reasonable assumptions.



          (Note however, that there are close variants of the (EC)DSA, most notably the Schnorr signature and the scheme by Brickell et al [B+] which do come with security reductions in the random oracle model. Also it is baffling why (EC)DSA is still in use since the patent on Schnorr expired in 2008.)



          [B] Brown. Generic Groups, Collision Resistance and ECDSA.



          [B+] Brickell et al. Design validations for discrete logarithm based signature schemes. PKC'00.



          [FKP1] Fersch, Kiltz and Pöttering. On the Provable Security of (EC)DSA Signatures. CCS'16.



          [FKP2] Fersch, Kiltz and Pöttering. On the One-Per-Message Unforgeability of (EC)DSA and its Variants. TCC'17.






          share|improve this answer











          $endgroup$



          (The (EC)DSA algorithm involves two functions: (i) the "conversion function" $f$, which for the case of DSA is a modulo $q$ operation and for ECDSA is the modulo $q$ operation applied to the $x$-coordinate of the input point; and (ii) $H$ a cryptographic hash function applied to the message.)



          Brown [B] showed that the DLP implies security of ECDSA in the generic group model and under idealised modelling of the conversion function $f$. The second assumption is in particular unrealistic as in (EC)DSA it is implemented by a simple modulo operation.



          There have been some recent results by Fersch et al. [FKP1,FKP2] which have tried to relax the above assumptions. In [FKP1] it is shown that under weaker (but still quite strong) assumption on the conversion function $f$ (and under some reasonable assumption on the hash function $H$) that DLP implies the security of (EC)DSA. Perhaps the security argument with the most reasonable assumptions is given in [FKP2]. There, assuming that the hash function $H$ is modelled as a random oracle, and the signer issues at most one signature per message, then EC(DSA) is unforgeable if and only if they are key-only unforgeable (this applies also to other schemes like the Russian GOST 34.14 and the Chinese SM2). It is not known if the key-only security of (EC)DSA reduces to DLP.



          So, in short, the answer would be no, not under reasonable assumptions.



          (Note however, that there are close variants of the (EC)DSA, most notably the Schnorr signature and the scheme by Brickell et al [B+] which do come with security reductions in the random oracle model. Also it is baffling why (EC)DSA is still in use since the patent on Schnorr expired in 2008.)



          [B] Brown. Generic Groups, Collision Resistance and ECDSA.



          [B+] Brickell et al. Design validations for discrete logarithm based signature schemes. PKC'00.



          [FKP1] Fersch, Kiltz and Pöttering. On the Provable Security of (EC)DSA Signatures. CCS'16.



          [FKP2] Fersch, Kiltz and Pöttering. On the One-Per-Message Unforgeability of (EC)DSA and its Variants. TCC'17.







          share|improve this answer














          share|improve this answer



          share|improve this answer








          edited 6 hours ago

























          answered 7 hours ago









          Occams_TrimmerOccams_Trimmer

          1,74411119




          1,74411119











          • $begingroup$
            Your answer is better than mine was.
            $endgroup$
            – fgrieu
            7 hours ago










          • $begingroup$
            Based on context, $f$ is the reduction of the group operation $g^k$ interpreted as an integer, taken modulo $q$?
            $endgroup$
            – Myria
            6 hours ago










          • $begingroup$
            That's correct, and $H$ is the hash function applied to the message. I'll add it to the answer.
            $endgroup$
            – Occams_Trimmer
            6 hours ago

















          • $begingroup$
            Your answer is better than mine was.
            $endgroup$
            – fgrieu
            7 hours ago










          • $begingroup$
            Based on context, $f$ is the reduction of the group operation $g^k$ interpreted as an integer, taken modulo $q$?
            $endgroup$
            – Myria
            6 hours ago










          • $begingroup$
            That's correct, and $H$ is the hash function applied to the message. I'll add it to the answer.
            $endgroup$
            – Occams_Trimmer
            6 hours ago
















          $begingroup$
          Your answer is better than mine was.
          $endgroup$
          – fgrieu
          7 hours ago




          $begingroup$
          Your answer is better than mine was.
          $endgroup$
          – fgrieu
          7 hours ago












          $begingroup$
          Based on context, $f$ is the reduction of the group operation $g^k$ interpreted as an integer, taken modulo $q$?
          $endgroup$
          – Myria
          6 hours ago




          $begingroup$
          Based on context, $f$ is the reduction of the group operation $g^k$ interpreted as an integer, taken modulo $q$?
          $endgroup$
          – Myria
          6 hours ago












          $begingroup$
          That's correct, and $H$ is the hash function applied to the message. I'll add it to the answer.
          $endgroup$
          – Occams_Trimmer
          6 hours ago





          $begingroup$
          That's correct, and $H$ is the hash function applied to the message. I'll add it to the answer.
          $endgroup$
          – Occams_Trimmer
          6 hours ago


















          draft saved

          draft discarded
















































          Thanks for contributing an answer to Cryptography Stack Exchange!


          • Please be sure to answer the question. Provide details and share your research!

          But avoid


          • Asking for help, clarification, or responding to other answers.

          • Making statements based on opinion; back them up with references or personal experience.

          Use MathJax to format equations. MathJax reference.


          To learn more, see our tips on writing great answers.




          draft saved


          draft discarded














          StackExchange.ready(
          function ()
          StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fcrypto.stackexchange.com%2fquestions%2f71029%2fare-dsa-and-ecdsa-provably-secure-assuming-dl-security%23new-answer', 'question_page');

          );

          Post as a guest















          Required, but never shown





















































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown

































          Required, but never shown














          Required, but never shown












          Required, but never shown







          Required, but never shown







          Popular posts from this blog

          Invision Community Contents History See also References External links Navigation menuProprietaryinvisioncommunity.comIPS Community ForumsIPS Community Forumsthis blog entry"License Changes, IP.Board 3.4, and the Future""Interview -- Matt Mecham of Ibforums""CEO Invision Power Board, Matt Mecham Is a Liar, Thief!"IPB License Explanation 1.3, 1.3.1, 2.0, and 2.1ArchivedSecurity Fixes, Updates And Enhancements For IPB 1.3.1Archived"New Demo Accounts - Invision Power Services"the original"New Default Skin"the original"Invision Power Board 3.0.0 and Applications Released"the original"Archived copy"the original"Perpetual licenses being done away with""Release Notes - Invision Power Services""Introducing: IPS Community Suite 4!"Invision Community Release Notes

          Canceling a color specificationRandomly assigning color to Graphics3D objects?Default color for Filling in Mathematica 9Coloring specific elements of sets with a prime modified order in an array plotHow to pick a color differing significantly from the colors already in a given color list?Detection of the text colorColor numbers based on their valueCan color schemes for use with ColorData include opacity specification?My dynamic color schemes

          Ласкавець круглолистий Зміст Опис | Поширення | Галерея | Примітки | Посилання | Навігаційне меню58171138361-22960890446Bupleurum rotundifoliumEuro+Med PlantbasePlants of the World Online — Kew ScienceGermplasm Resources Information Network (GRIN)Ласкавецькн. VI : Літери Ком — Левиправивши або дописавши її