|
 
|
David Baelde
|
Post-doc Laboratoire: ITU (Danemark) |
Publications
2012
- [CPG12] P. Courtieu, C. Paulin-Mohring, D. Gross-Amblard, D. Baelde. "Toward provably robust watermarking", Interactive theorem proving (TPHOLs), August 2012, pp.0-0, Series LNCS,
Conférence Internationale avec comité de lecture
2011
- [CBP11] P. Courtieu, D. Baelde, C. Paulin-Mohring, X. Urbain, D. Gross-Amblard. "Formal Proofs of Robustness for Watermarking Algorithms", TYPES WOKSHOP 2011,
