Constructive and Destructive Use of Compilers in Elliptic Curve Cryptography.

Saved in:
Bibliographic Details
Title: Constructive and Destructive Use of Compilers in Elliptic Curve Cryptography.
Authors: Barbosa, M.1 mbb@di.uminho.pt, Moss, A.2 moss@cs.bris.ac.uk, Page, D.2 page@cs.bris.ac.uk
Source: Journal of Cryptology. Spring2009, Vol. 22 Issue 2, p259-281. 23p. 5 Diagrams, 5 Charts.
Subjects: Cryptography software, Elliptic curves, Compilers (Computer programs), Programming languages, Data encryption
Abstract: Although cryptographic software implementation is often performed by expert programmers, the range of performance and security driven options, as well as more mundane software engineering issues, still make it a challenge. The use of domain specific language and compiler techniques to assist in description and optimisation of cryptographic software is an interesting research challenge. In this paper we investigate two aspects of such techniques, focusing on Elliptic Curve Cryptography (ECC) in particular. Our constructive results show that a suitable language allows description of ECC based software in a manner close to the original mathematics; the corresponding compiler allows automatic production of an executable whose performance is competitive with that of a hand-optimised implementation. In contrast, we study the worrying potential for naïve compiler driven optimisation to render cryptographic software insecure. Both aspects of our work are set within the context of CACE, an ongoing EU funded project on this general topic. [ABSTRACT FROM AUTHOR]
Copyright of Journal of Cryptology is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.)
Database: Engineering Source
FullText Links:
  – Type: pdflink
Text:
  Availability: 0
Header DbId: egs
DbLabel: Engineering Source
An: 37321464
AccessLevel: 6
PubType: Academic Journal
PubTypeId: academicJournal
PreciseRelevancyScore: 0
IllustrationInfo
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Constructive and Destructive Use of Compilers in Elliptic Curve Cryptography.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Barbosa%2C+M%2E%22">Barbosa, M.</searchLink><relatesTo>1</relatesTo><i> mbb@di.uminho.pt</i><br /><searchLink fieldCode="AR" term="%22Moss%2C+A%2E%22">Moss, A.</searchLink><relatesTo>2</relatesTo><i> moss@cs.bris.ac.uk</i><br /><searchLink fieldCode="AR" term="%22Page%2C+D%2E%22">Page, D.</searchLink><relatesTo>2</relatesTo><i> page@cs.bris.ac.uk</i>
– Name: TitleSource
  Label: Source
  Group: Src
  Data: <searchLink fieldCode="JN" term="%22Journal+of+Cryptology%22">Journal of Cryptology</searchLink>. Spring2009, Vol. 22 Issue 2, p259-281. 23p. 5 Diagrams, 5 Charts.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Cryptography+software%22">Cryptography software</searchLink><br /><searchLink fieldCode="DE" term="%22Elliptic+curves%22">Elliptic curves</searchLink><br /><searchLink fieldCode="DE" term="%22Compilers+%28Computer+programs%29%22">Compilers (Computer programs)</searchLink><br /><searchLink fieldCode="DE" term="%22Programming+languages%22">Programming languages</searchLink><br /><searchLink fieldCode="DE" term="%22Data+encryption%22">Data encryption</searchLink>
– Name: Abstract
  Label: Abstract
  Group: Ab
  Data: Although cryptographic software implementation is often performed by expert programmers, the range of performance and security driven options, as well as more mundane software engineering issues, still make it a challenge. The use of domain specific language and compiler techniques to assist in description and optimisation of cryptographic software is an interesting research challenge. In this paper we investigate two aspects of such techniques, focusing on Elliptic Curve Cryptography (ECC) in particular. Our constructive results show that a suitable language allows description of ECC based software in a manner close to the original mathematics; the corresponding compiler allows automatic production of an executable whose performance is competitive with that of a hand-optimised implementation. In contrast, we study the worrying potential for naïve compiler driven optimisation to render cryptographic software insecure. Both aspects of our work are set within the context of CACE, an ongoing EU funded project on this general topic. [ABSTRACT FROM AUTHOR]
– Name: AbstractSuppliedCopyright
  Label:
  Group: Ab
  Data: <i>Copyright of Journal of Cryptology is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.)
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=37321464
RecordInfo BibRecord:
  BibEntity:
    Identifiers:
      – Type: doi
        Value: 10.1007/s00145-008-9023-0
    Languages:
      – Code: eng
        Text: English
    PhysicalDescription:
      Pagination:
        PageCount: 23
        StartPage: 259
    Subjects:
      – SubjectFull: Cryptography software
        Type: general
      – SubjectFull: Elliptic curves
        Type: general
      – SubjectFull: Compilers (Computer programs)
        Type: general
      – SubjectFull: Programming languages
        Type: general
      – SubjectFull: Data encryption
        Type: general
    Titles:
      – TitleFull: Constructive and Destructive Use of Compilers in Elliptic Curve Cryptography.
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Barbosa, M.
      – PersonEntity:
          Name:
            NameFull: Moss, A.
      – PersonEntity:
          Name:
            NameFull: Page, D.
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 04
              Text: Spring2009
              Type: published
              Y: 2009
          Identifiers:
            – Type: issn-print
              Value: 09332790
          Numbering:
            – Type: volume
              Value: 22
            – Type: issue
              Value: 2
          Titles:
            – TitleFull: Journal of Cryptology
              Type: main
ResultId 1