Publication Date:
2018-06-06
Description:
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.
Keywords:
Computer Programming and Software
Type:
Proceedings of the First NASA Formal Methods Symposium; 146-155; NASA/CP-2009-215407
Format:
application/pdf
Permalink