@inproceedings{DGK+4,
title = {Formal Analysis of Electronic Exams },
author = {Dreier, Jannik and Giustolisi, Rosario and Kassem, Ali and Lafourcade, Pascal and Lenzin, Gabriele and Ryan, Peter},
year = {2014},
booktitle = {SECRYPT 2014},
note = {Best Paper Award},
team = {DCS, PACSS},
}