{"id":"W4411010576","doi":"10.1145/3714393.3726492","title":"<scp>Laminator:</scp> Verifiable ML Property Cards using Hardware-assisted Attestations","year":2024,"lang":"en","type":"article","venue":"","topic":"Cryptography and Data Security","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada; Universitas Brawijaya; Government of Ontario","keywords":"Verifiable secret sharing; Computer science; Property (philosophy); Embedded system; Computer hardware; Computer security; Programming language","routes":{"ca_aff":true,"ca_fund":true,"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.006794516,0.0009903739,0.0006501064,0.001852696,0.002465913,0.007212724,0.003300329,0.00582177,0.1324783],"category_scores_gemma":[0.02382549,0.001034624,0.0007988936,0.001812578,0.003398651,0.0140948,0.005709834,0.006359025,0.09313866],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002730859,"about_ca_system_score_gemma":0.002248057,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002408349,"about_ca_topic_score_gemma":0.003338438,"domain_scores_codex":[0.9933268,0.001539104,0.0004543192,0.0006912797,0.003315138,0.0006733341],"domain_scores_gemma":[0.9745305,0.005442413,0.001063628,0.01326456,0.005029961,0.0006689381],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"not_applicable","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.0002730764,0.00006404762,0.0005681911,0.0001569551,0.00002154582,0.0003087671,0.0001951675,0.0008645408,0.00447629,0.1268285,0.8097755,0.05646738],"study_design_scores_gemma":[0.0000922859,0.00007003875,0.0006537422,0.0001723122,0.00001875585,0.0006727989,0.00007774973,0.01278708,0.02763935,0.06279711,0.8949282,0.00009058555],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005711022,0.001021871,0.412919,0.0319312,0.004931448,0.000939643,0.01262707,0.1317325,0.3981864],"genre_scores_gemma":[0.256346,0.001871569,0.1506614,0.02959702,0.004112159,0.001741574,0.02038883,0.03683908,0.4984424],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.1324783,"threshold_uncertainty_score":0.4431841,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03055653958199512,"score_gpt":0.269581165310277,"score_spread":0.2390246257282819,"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."}}