Rechercher

[CBP11] Formal Proofs of Robustness for Watermarking Algorithms

Conférences Internationales sans actes : TYPES WOKSHOP 2011,

Auteurs: P. Courtieu , D. Baelde , C. Paulin-Mohring , X. Urbain , D. Gross-Amblard

Mots clés: Watermarking, preuve de programme, algorithme probabiliste

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.

Equipe: sys , vertigo
Collaboration: ITU , UPS

BibTeX

@conference {
CBP11,
title="{Formal Proofs of Robustness for Watermarking Algorithms}",
author=" P. Courtieu and D. Baelde and C. Paulin-Mohring and X. Urbain and D. Gross-Amblard ",
year=2011,
}