Incrementality and deck functions Simple protocols and efficient constructions in symmetric cryptog…