%0 Conference Paper
%B The 8th IEEE International Conference on Software Engineering and Formal Methods - SEFM
%D 2010
%T Deductive verification of cryptographic software
%A José Bacelar Almeida
%A Manuel Bernardo Barbosa
%A Jorge Sousa Pinto
%A Bárbara Vieira
%C Pisa, Italy
%X <p>We report on the application of an off-the-shelf verification platform to the RC4 stream cipher cryptographic software implementation (as available in the openSSL library), and introduce a deductive verification technique based on self-composition for proving the absence of error propagation.</p>
%8 September
%> https://haslab.uminho.pt/sites/default/files/jba/files/09nfm.pdf