Deductive verification of cryptographic software
- Citation:
- Almeida JB, Barbosa MB, Pinto JS, Vieira B. 2010. Deductive verification of cryptographic software. The 8th IEEE International Conference on Software Engineering and Formal Methods - SEFM.
Date Presented:
SeptemberAbstract:
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.
Citation Key:
1631DOI:
10.1007/s11334-010-0127-y
Tags
- Coq (2)
- formalization (1)
- language closure (1)
- MEE-CBC (1)
- Pumping Lemma (2)
- s2n library (1)
- timing attacks (1)
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.