Formal Proofs of Robustness for Watermarking Algorithms
Résumé
This paper presents the main ideas of the proof of a watermarking algorithm in the Coq proof assistant and the ALEA library on probabilities and probabilistic programs.
Communication Dans Un Congrès
Année : 2011
Laboratoire CEDRIC : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01126043
Soumis le : vendredi 6 mars 2015-11:37:45
Dernière modification le : vendredi 19 juillet 2024-11:38:04
Dates et versions
Identifiants
- HAL Id : hal-01126043 , version 1
Citer
Pierre Courtieu, David Baelde, Christine Paulin-Mohring, Xavier Urbain, David Gross-Amblard. Formal Proofs of Robustness for Watermarking Algorithms. TYPES WOKSHOP 2011, Sep 2011, X, France. ⟨hal-01126043⟩
Collections
59
Consultations
0
Téléchargements