NASA NTRS · 20100024460
Deductive Verification of Cryptographic Software
Abstract
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.
Keep this discovery
Explore connections, maps & timelines
Almeida, Jose Barcelar, Barbosa, Manuel, Pinto, Jorge Sousa, Vieira, Barbara. 2009-04-01. Deductive Verification of Cryptographic Software. https://ntrs.nasa.gov/citations/20100024460
Cite the original work for its findings. Save a collection to share your selection of sources.