Gilles Barthe (IMDEA (Madrid)), Verified implementations of cryptographic standards

Programme