{"id":"W2953055425","doi":"","title":"Location-Proof System based on Secure Multi-Party Computations.","year":2018,"lang":"en","type":"preprint","venue":"IACR Cryptology ePrint Archive","topic":"Cryptography and Data Security","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"École de Technologie Supérieure","funders":"","keywords":"Gas meter prover; Mathematical proof; Computer science; Honesty; Adversary; Computation; Computer security; Protocol (science); Theoretical computer science; Signature (topology); Secure two-party computation; Automated theorem proving; Cryptography; Secure multi-party computation; Algorithm; Mathematics; Law","routes":{"ca_aff":true,"ca_fund":false,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0006510305,0.000674847,0.0007743247,0.0007133337,0.0004379808,0.0002558701,0.002868823,0.0005266521,0.00003645258],"category_scores_gemma":[0.0001672193,0.000669731,0.0003796794,0.0005287829,0.0006278487,0.000174655,0.002628359,0.001465916,0.0004929382],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0001442872,"about_ca_system_score_gemma":0.0007523138,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0000858237,"about_ca_topic_score_gemma":0.0001547271,"domain_scores_codex":[0.9952307,0.0008301057,0.0008049633,0.00194557,0.0005010575,0.0006875967],"domain_scores_gemma":[0.9949415,0.0007369251,0.0006138348,0.002969106,0.0004344218,0.000304253],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00005502667,0.0003974111,0.001318377,0.000535205,0.0001103898,0.00006060323,0.001346276,0.01747427,0.00001391194,0.9756595,0.001806874,0.00122216],"study_design_scores_gemma":[0.0007680599,0.0001507504,0.006711231,0.0005301964,0.00004030695,0.00003076587,0.0000748864,0.6666929,0.000301321,0.3227671,0.001299036,0.0006334712],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.002790567,0.0001207535,0.989307,0.0009485258,0.002354555,0.001115153,0.0003065139,0.0007001032,0.002356792],"genre_scores_gemma":[0.3627545,0.000005621995,0.6359841,0.0004339506,0.0001955738,0.0002224734,0.0003769603,0.00002665943,2.248279e-7],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.6528924,"threshold_uncertainty_score":0.9995754,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02224252922917207,"score_gpt":0.2744471361385328,"score_spread":0.2522046069093607,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}