Gilles Barthe, Marion Daubignard, Bruce M. Kapron, Yassine Lakhnech
Browse the full CCS paper archive.