@conference {1631,
	title = {Deductive verification of cryptographic software},
	booktitle = {The 8th IEEE International Conference on Software Engineering and Formal Methods - SEFM},
	year = {2010},
	month = {September},
	address = {Pisa, Italy},
	abstract = {<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>
},
	attachments = {https://haslab.uminho.pt/sites/default/files/jba/files/09nfm.pdf},
	author = {Jos{\'e} Bacelar Almeida and Manuel Bernardo Barbosa and Jorge Sousa Pinto and B{\'a}rbara Vieira}
}