DMCA

Certified computer-aided cryptography: efficient provably secure machine code from high-level implementations

by José Bacelar , Almeida Manuel , Barbosa Gilles , Barthe François Dupressoir