{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T15:29:09Z","timestamp":1770996549151,"version":"3.50.1"},"reference-count":0,"publisher":"SCITEPRESS - Science and and Technology Publications","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.5220\/0005050901010112","type":"proceedings-article","created":{"date-parts":[[2014,9,16]],"date-time":"2014-09-16T09:58:00Z","timestamp":1410861480000},"page":"101-112","source":"Crossref","is-referenced-by-count":12,"title":["Formal Analysis of Electronic Exams"],"prefix":"10.5220","author":[{"given":"Jannik","family":"Dreier","sequence":"first","affiliation":[{"name":"ETH Zurich, Switzerland"}]},{"given":"Rosario","family":"Giustolisi","sequence":"first","affiliation":[{"name":"SnT\/University of Luxembourg, Luxembourg"}]},{"given":"Ali","family":"Kassem","sequence":"first","affiliation":[{"name":"Universit\u00e9 Grenoble Alpes, France"}]},{"given":"Pascal","family":"Lafourcade","sequence":"first","affiliation":[{"name":"University d'Auvergne, France"}]},{"given":"Gabriele","family":"Lenzini","sequence":"first","affiliation":[{"name":"SnT\/University of Luxembourg, Luxembourg"}]},{"given":"Peter","family":"Y. A. Ryan","sequence":"first","affiliation":[{"name":"SnT\/University of Luxembourg, Luxembourg"}]}],"member":"3171","event":{"name":"International Conference on Security and Cryptography","location":"Vienna, Austria","start":{"date-parts":[[2014,8,28]]},"end":{"date-parts":[[2014,8,30]]}},"container-title":["Proceedings of the 11th International Conference on Security and Cryptography"],"original-title":["Formal Analysis of Electronic Exams"],"deposited":{"date-parts":[[2014,9,16]],"date-time":"2014-09-16T09:58:39Z","timestamp":1410861519000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.scitepress.org\/DigitalLibrary\/Link.aspx?doi=10.5220\/0005050901010112"}},"subtitle":[""],"short-title":[],"issued":{"date-parts":[[2014]]},"references-count":0,"URL":"https:\/\/doi.org\/10.5220\/0005050901010112","relation":{},"subject":[],"published":{"date-parts":[[2014]]}}}