DMCA

Compositional Verification of Higher-Order Masking Application to a Verifying Masking Compiler

Cached

Download Links

by Gilles Barthe , Pierre-alain Fouque