Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini, Peter Y. A. Ryan. Formal Analysis of Electronic Exams. In Mohammad S. Obaidat, Andreas Holzinger, Pierangela Samarati, editors, SECRYPT 2014 - Proceedings of the 11th International Conference on Security and Cryptography, Vienna, Austria, 28-30 August, 2014. pages 101-112, SciTePress, 2014. [doi]
Abstract is missing.