Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Type checking cryptography implementations
Blekinge Institute of Technology, School of Computing.
Show others and affiliations
2012 (English)In: Lecture Notes in Computer Science, Springer , 2012, Vol. 7141, 316-334 p.Conference paper, Published paper (Refereed) Published
Abstract [en]

Cryptographic software development is a challenging field: high performance must be achieved, while ensuring correctness and compliance with low-level security policies. CAO is a domain specific language designed to assist development of cryptographic software. An important feature of this language is the design of a novel type system introducing native types such as predefined sized vectors, matrices and bit strings, residue classes modulo an integer, finite fields and finite field extensions, allowing for extensive static validation of source code. We present the formalisation, validation and implementation of this type system.

Place, publisher, year, edition, pages
Springer , 2012. Vol. 7141, 316-334 p.
Keyword [en]
Bit-strings, Cryptographic software, Domain specific languages, Finite fields, Formalisation, Residue class, Security policy, Source codes, Type systems, Typechecking
National Category
Software Engineering
Identifiers
URN: urn:nbn:se:bth-7058DOI: 10.1007/978-3-642-29320-7_21Local ID: oai:bth.se:forskinfo2474A8502D95F042C1257AC900499A0EOAI: oai:DiVA.org:bth-7058DiVA: diva2:834637
Conference
4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011
Note
Conference site: TehranAvailable from: 2012-12-21 Created: 2012-12-03 Last updated: 2015-06-30Bibliographically approved

Open Access in DiVA

fulltext(445 kB)90 downloads
File information
File name FULLTEXT01.pdfFile size 445 kBChecksum SHA-512
2aebe68bd3f00b075d42f7d4066e13f49cf15e8f4c83105d05f5d18b3dffe8cdbcba84638e37002e6b8131bcea3535e639efd867157ad5c8317495da646a0d68
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Moss, Andrew
By organisation
School of Computing
Software Engineering

Search outside of DiVA

GoogleGoogle Scholar
Total: 90 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 100 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf