Verifying Cryptographic Code in C: Some Experience and the Csec Challenge.

Published in: Formal Aspects in Security and Trust (2011)

Keyphrases