{"id":"https://openalex.org/W2904756193","doi":"https://doi.org/10.1145/3229061","title":"Type-Driven Gradual Security with References","display_name":"Type-Driven Gradual Security with References","publication_year":2018,"publication_date":"2018-12-13","ids":{"openalex":"https://openalex.org/W2904756193","doi":"https://doi.org/10.1145/3229061","mag":"2904756193"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/3229061","pdf_url":null,"source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"journal-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hal.science/hal-01957581/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5073103554","display_name":"Mat\u00edas Toro","orcid":"https://orcid.org/0000-0002-5315-0198"},"institutions":[{"id":"https://openalex.org/I69737025","display_name":"University of Chile","ror":"https://ror.org/047gc3g35","country_code":"CL","type":"education","lineage":["https://openalex.org/I69737025"]}],"countries":["CL"],"is_corresponding":false,"raw_author_name":"Mat\u00edas Toro","raw_affiliation_strings":["PLEIAD Laboratory, Computer Science Department (DCC), University of Chile, Beauchef, Santiago, Chile"],"affiliations":[{"raw_affiliation_string":"PLEIAD Laboratory, Computer Science Department (DCC), University of Chile, Beauchef, Santiago, Chile","institution_ids":["https://openalex.org/I69737025"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051937731","display_name":"Ronald Garcia","orcid":"https://orcid.org/0000-0002-0982-1118"},"institutions":[{"id":"https://openalex.org/I141945490","display_name":"University of British Columbia","ror":"https://ror.org/03rmrcq20","country_code":"CA","type":"education","lineage":["https://openalex.org/I141945490"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Ronald Garcia","raw_affiliation_strings":["UBC Computer Science - Department of Computer Science [Vancouver] (Faculty of Science, University of British Columbia, 2366 Main Mall, Vancouver, BC, V6T1Z4 - Canada)"],"affiliations":[{"raw_affiliation_string":"UBC Computer Science - Department of Computer Science [Vancouver] (Faculty of Science, University of British Columbia, 2366 Main Mall, Vancouver, BC, V6T1Z4 - Canada)","institution_ids":["https://openalex.org/I141945490"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5074606459","display_name":"\u00c9ric Tanter","orcid":"https://orcid.org/0000-0002-7359-890X"},"institutions":[{"id":"https://openalex.org/I4210086502","display_name":"CryptoExperts (France)","ror":"https://ror.org/0030xrh72","country_code":"FR","type":"company","lineage":["https://openalex.org/I4210086502"]},{"id":"https://openalex.org/I69737025","display_name":"University of Chile","ror":"https://ror.org/047gc3g35","country_code":"CL","type":"education","lineage":["https://openalex.org/I69737025"]}],"countries":["CL","FR"],"is_corresponding":false,"raw_author_name":"\u00c9ric Tanter","raw_affiliation_strings":["PLEIAD Laboratory, Computer Science Department (DCC), University of Chile, Beauchef, Santiago, Chile","PROSECCO - Programming securely with cryptography (France)"],"affiliations":[{"raw_affiliation_string":"PROSECCO - Programming securely with cryptography (France)","institution_ids":["https://openalex.org/I4210086502"]},{"raw_affiliation_string":"PLEIAD Laboratory, Computer Science Department (DCC), University of Chile, Beauchef, Santiago, Chile","institution_ids":["https://openalex.org/I69737025"]}]}],"institution_assertions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.673,"has_fulltext":true,"fulltext_origin":"pdf","cited_by_count":40,"citation_normalized_percentile":{"value":0.99997,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":"40","issue":"4","first_page":"1","last_page":"55"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9887,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9865,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/code-refactoring","display_name":"Code refactoring","score":0.5054889},{"id":"https://openalex.org/keywords/type-safety","display_name":"Type safety","score":0.45030013},{"id":"https://openalex.org/keywords/type-inference","display_name":"Type Inference","score":0.4391603},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.42640206}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.87586635},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7921992},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.5207277},{"id":"https://openalex.org/C152752567","wikidata":"https://www.wikidata.org/wiki/Q116877","display_name":"Code refactoring","level":3,"score":0.5054889},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.4898724},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.48264986},{"id":"https://openalex.org/C44779574","wikidata":"https://www.wikidata.org/wiki/Q736866","display_name":"Type safety","level":2,"score":0.45030013},{"id":"https://openalex.org/C198370458","wikidata":"https://www.wikidata.org/wiki/Q586459","display_name":"Type inference","level":3,"score":0.4391603},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.42640206},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38463786},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.14633581},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.14106542},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":8,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/3229061","pdf_url":null,"source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.archives-ouvertes.fr/hal-01957581","pdf_url":"https://hal.science/hal-01957581/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":false,"landing_page_url":"https://hal.science/hal-01957581","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.science/hal-01957581v2/file/main.pdf","pdf_url":"https://hal.science/hal-01957581v2/file/main.pdf","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.archives-ouvertes.fr/hal-01957581v2/document","pdf_url":"https://hal.archives-ouvertes.fr/hal-01957581v2/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.science/hal-01957581v2/document","pdf_url":"https://hal.science/hal-01957581v2/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.archives-ouvertes.fr/hal-01957581/file/main.pdf","pdf_url":"https://hal.archives-ouvertes.fr/hal-01957581/file/main.pdf","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://hal.archives-ouvertes.fr/hal-01957581v2/file/main.pdf","pdf_url":"https://hal.archives-ouvertes.fr/hal-01957581v2/file/main.pdf","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://hal.archives-ouvertes.fr/hal-01957581","pdf_url":"https://hal.science/hal-01957581/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":["Centre National de la Recherche Scientifique"],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[{"display_name":"Peace, justice, and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.4}],"grants":[],"datasets":[],"versions":[],"referenced_works_count":65,"referenced_works":["https://openalex.org/W1497651746","https://openalex.org/W1568983194","https://openalex.org/W1581253965","https://openalex.org/W1582983062","https://openalex.org/W1589806443","https://openalex.org/W162884833","https://openalex.org/W1699577049","https://openalex.org/W1970075481","https://openalex.org/W1977764760","https://openalex.org/W1994197051","https://openalex.org/W1996404651","https://openalex.org/W2016017569","https://openalex.org/W2027822753","https://openalex.org/W2028705369","https://openalex.org/W2034355944","https://openalex.org/W2043100293","https://openalex.org/W2045949477","https://openalex.org/W2048921878","https://openalex.org/W2051748913","https://openalex.org/W2057292961","https://openalex.org/W2061056245","https://openalex.org/W2066195326","https://openalex.org/W2067012475","https://openalex.org/W2085939020","https://openalex.org/W2088923183","https://openalex.org/W2094873755","https://openalex.org/W2099510595","https://openalex.org/W2100233145","https://openalex.org/W2114834520","https://openalex.org/W2122049982","https://openalex.org/W2123691799","https://openalex.org/W2128496924","https://openalex.org/W2134296086","https://openalex.org/W2136296832","https://openalex.org/W2138038864","https://openalex.org/W2139093088","https://openalex.org/W2144160229","https://openalex.org/W2149465027","https://openalex.org/W2149969483","https://openalex.org/W2150174204","https://openalex.org/W2153684747","https://openalex.org/W2154564703","https://openalex.org/W2158126684","https://openalex.org/W2227094334","https://openalex.org/W2284690928","https://openalex.org/W2295283668","https://openalex.org/W2404393214","https://openalex.org/W2522116950","https://openalex.org/W2538224465","https://openalex.org/W2556346428","https://openalex.org/W2561537655","https://openalex.org/W2612745372","https://openalex.org/W2745835299","https://openalex.org/W2751329183","https://openalex.org/W2751966562","https://openalex.org/W2753479937","https://openalex.org/W2912880222","https://openalex.org/W2997271062","https://openalex.org/W3024337755","https://openalex.org/W3137596000","https://openalex.org/W3163012639","https://openalex.org/W326743114","https://openalex.org/W37142284","https://openalex.org/W4214931895","https://openalex.org/W4861723"],"related_works":["https://openalex.org/W4249990212","https://openalex.org/W4237270226","https://openalex.org/W3141365533","https://openalex.org/W2467914100","https://openalex.org/W2151275061","https://openalex.org/W2148349940","https://openalex.org/W2135265328","https://openalex.org/W2129345992","https://openalex.org/W2113556560","https://openalex.org/W1726238843"],"abstract_inverted_index":{"In":[0,159],"security-typed":[1,169],"programming":[2,65],"languages,":[3,235],"types":[4,203],"statically":[5,98,206],"enforce":[6,216],"noninterference":[7,92,209],"between":[8,139,243,297],"potentially":[9],"conspiring":[10],"values,":[11],"such":[12,275],"as":[13],"the":[14,83,104,129,137,147,181,253,281,310,313],"arguments":[15],"and":[16,61,74,124,141,152,246,301],"results":[17],"of":[18,77,82,131,149,183,228,307,312],"functions.":[19],"But":[20],"to":[21,40,45,55,110,135,194,204,266,292],"adopt":[22],"static":[23,73,111,140],"security":[24,56,78,112,185,217,247],"types,":[25],"like":[26],"other":[27],"advanced":[28],"type":[29,48,150,190,299,303],"disciplines,":[30],"programmers":[31,201],"face":[32],"a":[33,52,94,167,175,276,294],"steep":[34],"wholesale":[35],"transition,":[36],"often":[37],"forcing":[38],"them":[39],"refactor":[41],"working":[42],"code":[43],"just":[44],"satisfy":[46,267,280],"their":[47],"checker.":[49],"To":[50,285],"provide":[51],"gentler":[53],"path":[54],"typing":[57,245],"that":[58,71,106,215,221,238],"supports":[59,180],"safe":[60],"stylish":[62],"but":[63,226],"hard-to-verify":[64],"idioms,":[66],"researchers":[67],"have":[68],"designed":[69],"languages":[70,85,120],"blend":[72],"dynamic":[75,107,142,254,282],"checking":[76,143,186],"types.":[79],"Unfortunately,":[80],"most":[81],"resulting":[84],"only":[86,144],"support":[87],"static,":[88],"type-based":[89],"reasoning":[90],"about":[91,207],"if":[93,263],"program":[95],"is":[96],"entirely":[97],"secured.":[99],"This":[100],"limitation":[101],"substantially":[102],"weakens":[103],"benefits":[105],"enforcement":[108],"brings":[109],"typing.":[113,248],"Additionally,":[114,197],"current":[115],"proposals":[116],"are":[117,153,265],"focused":[118],"on":[119],"with":[121,172],"explicit":[122,195],"casts":[123],"therefore":[125],"do":[126],"not":[127],"fulfill":[128],"vision":[130],"gradual":[132,168,176,255,283,314],"typing,":[133],"according":[134],"which":[136,236,257,308],"boundaries":[138],"arise":[145],"from":[146],"(im)precision":[148],"annotations":[151],"transparently":[154],"mediated":[155],"by":[156,189],"implicit":[157],"checks.":[158],"this":[160,287],"article,":[161],"we":[162,289],"present":[163],"GSL":[164,178,198,222],"Ref":[165,179,199,223],",":[166,305],"higher-order":[170],"language":[171,277],"references.":[173],"As":[174],"language,":[177],"range":[182],"static-to-dynamic":[184],"exclusively":[187],"driven":[188],"annotations,":[191],"without":[192],"resorting":[193],"casts.":[196],"lets":[200],"use":[202],"reason":[205],"termination-insensitive":[208],"in":[210],"all":[211,225],"programs,":[212],"even":[213],"those":[214],"dynamically.":[218],"We":[219],"prove":[220],"satisfies":[224],"one":[227],"Siek":[229],"et":[230],"al.\u2019s":[231],"criteria":[232],"for":[233],"gradually-typed":[234],"ensure":[237],"programs":[239,260],"can":[240],"seamlessly":[241],"transition":[242],"simple":[244],"A":[249],"notable":[250],"exception":[251],"regards":[252],"guarantee,":[256],"some":[258],"specific":[259],"must":[261],"violate":[262],"they":[264],"noninterference;":[268],"it":[269],"remains":[270],"an":[271],"open":[272],"question":[273],"whether":[274],"could":[278],"fully":[279],"guarantee.":[284],"realize":[286],"design,":[288],"were":[290],"led":[291],"draw":[293],"sharp":[295],"distinction":[296],"syntactic":[298],"safety":[300],"semantic":[302],"soundness":[304],"each":[306],"constrains":[309],"design":[311],"language.":[315]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2904756193","counts_by_year":[{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":6},{"year":2021,"cited_by_count":9},{"year":2020,"cited_by_count":12},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":3}],"updated_date":"2024-12-30T20:21:46.943854","created_date":"2018-12-22"}