bibtex

@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},
}


Contact | Plan du site | Site réalisé avec SPIP 4.2.16 + AHUNTSIC [CC License]

info visites 4121951