Verifiable Document Redacting. - Hervé Chabanne; Rodolphe Hugel; Julien Keuffer (ESORICS (1), 2017)