DMCA

Verifying Cryptographic Code in C: Some Experience and the Csec Challenge (2011)

Cached

Download Links

by Mihhail Aizatulin , François Dupressoir , Andrew D. Gordon , Jan Jürjens
Citations:2 - 2 self