{"id":"W2509288627","doi":"10.1007/978-3-319-72308-2_8","title":"Adaptive Restart and CEGAR-Based Solver for Inverting Cryptographic Hash Functions","year":2017,"lang":"en","type":"preprint","venue":"Lecture notes in computer science","topic":"Cryptographic Implementations and Security","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Waterloo","funders":"","keywords":"Hash function; Computer science; Cryptographic hash function; Boolean satisfiability problem; Theoretical computer science; Cryptanalysis; Algorithm; Cryptography; Computer security","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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.001783353,0.001341074,0.00154159,0.000931675,0.0009471799,0.002560353,0.002736127,0.001841719,0.01426653],"category_scores_gemma":[0.01001458,0.0005631888,0.001179287,0.001029304,0.001708024,0.003263686,0.004370554,0.00335106,0.004247952],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0009242371,"about_ca_system_score_gemma":0.002300289,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0009843722,"about_ca_topic_score_gemma":0.002162317,"domain_scores_codex":[0.9969831,0.0008498197,0.0002107636,0.0004705057,0.001018514,0.0004673306],"domain_scores_gemma":[0.9963022,0.001497024,0.0001710282,0.001267093,0.0006266659,0.0001359252],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00342554,0.0005280235,0.002625302,0.0006383857,0.0002454261,0.0006469627,0.0005971992,0.110805,0.04577288,0.3973238,0.0232121,0.4141792],"study_design_scores_gemma":[0.0002858547,0.0002363265,0.0002130387,0.00006163446,0.00007093365,0.0002899987,0.0001153209,0.7754012,0.03250525,0.1835799,0.00716955,0.00007106907],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.02519239,0.0003431795,0.9613668,0.0004276519,0.0002431078,0.0001702652,0.0002300746,0.003771425,0.008255039],"genre_scores_gemma":[0.5010725,0.0002612442,0.4802941,0.0007203174,0.0002359542,0.00045818,0.0009126595,0.001238248,0.01480682],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.01426653,"threshold_uncertainty_score":0.04772627,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.04482897644388892,"score_gpt":0.3054626137115634,"score_spread":0.2606336372676744,"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."}}