Verified Proofs of Higher-Order Masking | Publicación