ARTICLE:ANALYSIS_BY[name] student0 ARTICLE:ANALYSIS_TIME[minutes] 2 ARTICLE:COMMENT[string] Got link to proof checker ( http://www.easycrypt.info/#download ) but need proof input file to check. ARTICLE:COMMERCIAL_EFFORT[none,part,full] part ARTICLE:GRANT_SUPPORT[none or string] Partially funded by European Projects FP7- 256980 NESSoS and FP7-229599 AMAROUT, Spanish Na- tional project TIN2009-14599 DESAFIOS 10, and Madrid Regional project S2009TIC-1465 PROMETIDOS. ARTICLE:IMPLEMENTATION_EXISTS[unknown,hardware,yes,no] yes ARTICLE:LINK[url] http://doi.acm.org/10.1145/2382196.2382272 ARTICLE:NSF_SUPPORT[none or number] none ARTICLE:PAGE_COUNT[pages] 12 ARTICLE:STATUS[not_finished,finished] finished ARTICLE:TYPE[conference,journal,poster,abstract] conference AUTHOR:NAMES[list of first_last] Gilles_Barthe David_Pointcheval Santiago_Zanella_Beguelin BIBTEX:LABEL[string] BarthePB12 BIBTEX:LINK[url] http://dblp.uni-trier.de/rec/bibtex/conf/ccs/BarthePB12 BUILD:ANALYSIS_BY[name] BUILD:ANALYSIS_TIME[minutes] BUILD:BENEFIT_OF_DOUBT[unknown,yes,no] unknown BUILD:COMMENT[string] Many dependencies, couldn't be build in 30 (20min attempt) BUILD:ERROR_COMMENT[not_needed,comment] not_needed BUILD:STATUS[one of {unknown,needed,not_needed,started,finished} and list of {downloaded,compiles,runs}] unknown BUILD:VERIFY_BY[name] BUILD:VERIFY_COMMENT[string] BUILD:VERIFY_STATUS[needed,not_needed,started,finished] not_needed BUILD:VERIFY_TIME[minutes] COMMENT:CORRECTION[string] We originally classified the paper as Article because a link to the code was found in the paper. In the survey response, the authors said that we built related but incorrect code. The correct code is in an appendix in the article itself, but (because of how it is typeset) this code is not extractable from the pdf-file. We requested plain-text code through an email but did not receive a response. Therefore, we have reclassified as EM_0. COMMENT:RESPONSE[string] COMMENT:UPDATE[string] EMAIL1:CODE_AVAILABLE[yes,no,no_response] no_response EMAIL1:REMARK[comment] EMAIL:STATUS[unknown,not_needed,not_found or list of {needed,request_1,response_1,sent_thank_you}] needed request_1 PI:COMMENT_CC[string] PI:COMMENT_TP[string] TOOL:ARTICLE_LINK[unknown,none,url,broken and url] none TOOL:DATA_LINK[unknown,none,url,broken and url] TOOL:EMAIL_LINK[unknown,none,sent_no_url,url,broken and url] TOOL:GOOGLE_LINK[unknown,none,url,broken and url] none TOOL:NAME[string] EasyCrypt VERIFY:ANALYSIS_BY[name] student7 VERIFY:COMMENT[string] none VERIFY:STATUS[unknown,needed,not_needed,started,finished] finished