NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login
Back to Results
Deductive Verification of Cryptographic SoftwareWe 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.
Document ID
20100024460
Acquisition Source
Ames Research Center
Document Type
Conference Paper
Authors
Almeida, Jose Barcelar (Minho Univ. Braga, Portugal)
Barbosa, Manuel (Minho Univ. Braga, Portugal)
Pinto, Jorge Sousa (Minho Univ. Braga, Portugal)
Vieira, Barbara (Minho Univ. Braga, Portugal)
Date Acquired
August 24, 2013
Publication Date
April 1, 2009
Publication Information
Publication: Proceedings of the First NASA Formal Methods Symposium
Subject Category
Computer Programming And Software
Distribution Limits
Public
Copyright
Public Use Permitted.

Related Records

IDRelationTitle20100024454Collected WorksProceedings of the First NASA Formal Methods Symposium
No Preview Available