DivCrypt: A Structured Framework for Validating Cryptographic Implementations.

Artur Misztal

Browse the full FedCSIS paper archive.