 |
 |
|
|
||
|---|---|---|
|
hal-01338054v1
Communication dans un congrès
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini et al. Formal Analysis of Electronic Exams First Symposium on Digital Trust in Auvergne (SDTA'14), Dec 2014, Clermont-Ferrand, France |
||
|
hal-01337410v1
Communication dans un congrès
Jannik Dreier, Ali Kassem, Pascal Lafourcade. Formal Analysis of E-Cash Protocols 12th International Conference on Security and Cryptography (SECRYPT 2015), Jul 2015, Colmar, France. 2015, <10.5220/0005544500650075> |
||
|
hal-01337411v1
Rapport
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini. On the Verifiability of (Electronic) Exams [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2015 |
||
|
hal-01337412v1
Communication dans un congrès
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini et al. Formal Security Analysis of Traditional and Electronic Exams E-Business and Telecommunications - 11th International Joint Conference, ICETE 2014, Revised Selected Papers, Aug 2014, Vienne, Austria. 2015, <10.1007/978-3-319-25915-4_16> |
||
|
hal-01337413v1
Communication dans un congrès
Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini et al. Formal Analysis of Electronic Exams 11th International Conference on Security and Cryptography (SECRYPT 2014), Aug 2014, Vienne, Austria. 2014, <10.5220/0005050901010112> |
||
|
hal-01248349v1
Communication dans un congrès
Ali Kassem, Ylìès Falcone, Pascal Lafourcade. Monitoring Electronic Exams 6th International Conference, RV 2015, Vienna, Austria, September 22-25, 2015. Proceedings, Sep 2015, Vienne, Australia. Springer, 9333, pp.16, 2015, Runtime Verification. <10.1007/978-3-319-23820-3_8> |
||
|
|
||
