Formal Analysis of Electronic Exams.

Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, Peter Y. A. Ryan

Browse the full SECRYPT paper archive.