Please use this identifier to cite or link to this item: http://hdl.handle.net/1822/14822

TitleType checking cryptography implementations
Author(s)Barbosa, Manuel
Page, D.
Moss, Andrew
Rodrigues, Nuno F.
Silva, Paulo
KeywordsCryptography
Programming language
Issue date2012
PublisherSpringer Verlag
JournalLecture Notes in Computer Science
Abstract(s)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.
TypeconferencePaper
DescriptionProceedings da conferência Fundamentals of Software Engineering 2011
URIhttp://hdl.handle.net/1822/14822
ISBN9783642293191
DOI10.1007/978-3-642-29320-7_21
ISSN0302-9743
Peer-Reviewedyes
AccessopenAccess
Appears in Collections:HASLab - Artigos em atas de conferências internacionais (texto completo)
DI/CCTC - Artigos (papers)

Files in This Item:
File Description SizeFormat 
caotc.pdfDocumento principal402,16 kBAdobe PDFView/Open

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu Currículo DeGóis