{"id":"W4224259412","doi":"10.14722/ndss.2024.24105","title":"BliMe: Verifiably Secure Outsourced Computation with Hardware-Enforced Taint Tracking","year":2024,"lang":"en","type":"preprint","venue":"","topic":"Security and Verification in Computing","field":"Computer Science","cited_by":5,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada; Government of Ontario; Amazon Web Services","keywords":"Computer science; Encryption; Embedded system; Cryptography; Overhead (engineering); Operating system; Computer security; Computer network","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":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow","scholarly_communication"],"consensus_categories":[],"category_scores_codex":[0.0006139453,0.0005383913,0.0004900112,0.0004037808,0.0002784813,0.002239979,0.001643727,0.0004038293,0.00004547954],"category_scores_gemma":[0.00004455299,0.0004748328,0.0002129027,0.0007220809,0.00008278841,0.0002825221,0.002156405,0.001538725,0.0002084965],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0002303934,"about_ca_system_score_gemma":0.0005044583,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0001208059,"about_ca_topic_score_gemma":0.00001171312,"domain_scores_codex":[0.996488,0.0001146474,0.0006556509,0.00146673,0.0007686928,0.0005062526],"domain_scores_gemma":[0.9977353,0.0001847521,0.0003672429,0.001118364,0.0004111083,0.0001832637],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00006658917,0.0002029613,0.0001371085,0.002161852,0.0006821343,0.0001592177,0.03117799,0.4555339,0.0006224423,0.373224,0.01168211,0.1243496],"study_design_scores_gemma":[0.0002586563,0.00008639049,0.0001676794,0.0006460214,0.00005071892,0.00005607683,0.0003522043,0.9705395,0.001784053,0.02034513,0.004924471,0.0007890799],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.01678442,0.0003810976,0.9648623,0.002083855,0.002000985,0.0006423256,0.00001224778,0.002082995,0.01114972],"genre_scores_gemma":[0.9061956,0.00001568075,0.09199499,0.0005532272,0.0003708427,0.00005789672,0.00008765874,0.00005490816,0.0006692426],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.8894112,"threshold_uncertainty_score":0.9997703,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.02636255361832724,"score_gpt":0.2757351397213713,"score_spread":0.249372586103044,"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."}}