David Bernhard, Vronique Cortier, Olivier Pereira, Bogdan Warinschi
Browse the full CCS paper archive.