Change search
ReferencesLink to record
Permanent link

Direct link
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 (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
URN: urn:nbn:se:bth-7058DOI: 10.1007/978-3-642-29320-7_21Local ID: diva2:834637
4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011
Conference site: TehranAvailable from: 2012-12-21 Created: 2012-12-03 Last updated: 2015-06-30Bibliographically approved

Open Access in DiVA

fulltext(445 kB)21 downloads
File information
File name FULLTEXT01.pdfFile size 445 kBChecksum SHA-512
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: 21 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

Altmetric score

Total: 28 hits
ReferencesLink to record
Permanent link

Direct link