<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Manuel Bernardo Barbosa</style></author><author><style face="normal" font="default" size="100%">Andrew Moss</style></author><author><style face="normal" font="default" size="100%">Dan Page</style></author><author><style face="normal" font="default" size="100%">Nuno Rodrigues</style></author><author><style face="normal" font="default" size="100%">Paulo Silva</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Farhad Arbab</style></author><author><style face="normal" font="default" size="100%">Marjan Sirjani</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">Type Checking Cryptography Implementations</style></title><secondary-title><style face="normal" font="default" size="100%">Fundamentals of Software Engineering - 4th IPM International Conference, FSEN 2011, Revised Selected Papers</style></secondary-title><tertiary-title><style face="normal" font="default" size="100%">Lecture Notes in Computer Science</style></tertiary-title></titles><dates><year><style  face="normal" font="default" size="100%">2011</style></year><pub-dates><date><style  face="normal" font="default" size="100%">April </style></date></pub-dates></dates><urls><web-urls><url><style face="normal" font="default" size="100%">http://link.springer.com/chapter/10.1007/978-3-642-29320-7_21</style></url></web-urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/pfsilva/files/fsen11.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">Springer</style></publisher><pub-location><style face="normal" font="default" size="100%">Tehran, Iran</style></pub-location><volume><style face="normal" font="default" size="100%">7141</style></volume><pages><style face="normal" font="default" size="100%">316-334</style></pages><isbn><style face="normal" font="default" size="100%">978-3-642-29319-1</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;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.&lt;/p&gt;
</style></abstract></record></records></xml>