{"id":"https://openalex.org/W2796499075","doi":"https://doi.org/10.1007/978-3-319-89884-1_17","title":"Reasoning About a Machine with Local Capabilities","display_name":"Reasoning About a Machine with Local Capabilities","publication_year":2018,"publication_date":"2018-01-01","ids":{"openalex":"https://openalex.org/W2796499075","doi":"https://doi.org/10.1007/978-3-319-89884-1_17","mag":"2796499075"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-319-89884-1_17","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-89884-1_17","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-319-89884-1_17.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-319-89884-1_17.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5039623738","display_name":"Lau Skorstengaard","orcid":null},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Lau Skorstengaard","raw_affiliation_strings":["Aarhus University, Aarhus, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Aarhus University, Aarhus, Denmark","institution_ids":["https://openalex.org/I204337017"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5011654888","display_name":"Dominique Devriese","orcid":"https://orcid.org/0000-0002-3862-6856"},"institutions":[{"id":"https://openalex.org/I4210114974","display_name":"IMEC","ror":"https://ror.org/02kcbn207","country_code":"BE","type":"nonprofit","lineage":["https://openalex.org/I4210114974"]},{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"Dominique Devriese","raw_affiliation_strings":["imec-DistriNet, KU Leuven, Leuven, Belgium"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"imec-DistriNet, KU Leuven, Leuven, Belgium","institution_ids":["https://openalex.org/I4210114974","https://openalex.org/I99464096"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055959064","display_name":"Lars Birkedal","orcid":"https://orcid.org/0000-0003-1320-0098"},"institutions":[{"id":"https://openalex.org/I204337017","display_name":"Aarhus University","ror":"https://ror.org/01aj84f44","country_code":"DK","type":"education","lineage":["https://openalex.org/I204337017"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"Lars Birkedal","raw_affiliation_strings":["Aarhus University, Aarhus, Denmark"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Aarhus University, Aarhus, Denmark","institution_ids":["https://openalex.org/I204337017"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":4.8847,"has_fulltext":true,"cited_by_count":23,"citation_normalized_percentile":{"value":0.96572413,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"475","last_page":"501"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":1.0,"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":1.0,"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.9958999752998352,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9793000221252441,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/correctness","display_name":"Correctness","score":0.9185512065887451},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8519416451454163},{"id":"https://openalex.org/keywords/encapsulation","display_name":"Encapsulation (networking)","score":0.7143042683601379},{"id":"https://openalex.org/keywords/control-flow","display_name":"Control flow","score":0.5226245522499084},{"id":"https://openalex.org/keywords/finite-state-machine","display_name":"Finite-state machine","score":0.4717355966567993},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4698599576950073},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.43862012028694153},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4330455958843231},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.19735196232795715}],"concepts":[{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.9185512065887451},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8519416451454163},{"id":"https://openalex.org/C81147070","wikidata":"https://www.wikidata.org/wiki/Q1172449","display_name":"Encapsulation (networking)","level":2,"score":0.7143042683601379},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.5226245522499084},{"id":"https://openalex.org/C167822520","wikidata":"https://www.wikidata.org/wiki/Q176452","display_name":"Finite-state machine","level":2,"score":0.4717355966567993},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4698599576950073},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.43862012028694153},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4330455958843231},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.19735196232795715}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1007/978-3-319-89884-1_17","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-89884-1_17","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-319-89884-1_17.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:pure.atira.dk:openaire/bb7e9083-9945-41cd-b25d-86b89487d8c7","is_oa":true,"landing_page_url":"https://pure.au.dk/portal/en/publications/bb7e9083-9945-41cd-b25d-86b89487d8c7","pdf_url":null,"source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Skorstengaard, L, Devriese, D & Birkedal, L 2018, Reasoning About a Machine with Local Capabilities : Provably Safe Stack and Return Pointer Management. in A Ahmed (ed.), Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings. vol. 10801, Springer VS, Cham, Lecture Notes in Computer Science (LNCS), no. 10801, pp. 475-501, European Symposium on Programming, Thessaloniki, Greece, 14/04/2018. https://doi.org/10.1007/978-3-319-89884-1_17","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:lirias2repo.kuleuven.be:123456789/622454","is_oa":true,"landing_page_url":"https://link.springer.com/chapter/10.1007/978-3-319-89884-1_17","pdf_url":null,"source":{"id":"https://openalex.org/S4306401954","display_name":"Lirias (KU Leuven)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99464096","host_organization_name":"KU Leuven","host_organization_lineage":["https://openalex.org/I99464096"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"European Symposium on Programming, Thessaloniki, Greece, 14-20 April 2018","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:vubissmart:VUBISSMART:2000:118080","is_oa":false,"landing_page_url":"https://biblio.vub.ac.be/vubir/(e45262a4-af95-45b6-96a8-2ae6e61eac3e).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306402573","display_name":"VUBIR (Vrije Universiteit Brussel)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I13469542","host_organization_name":"Vrije Universiteit Brussel","host_organization_lineage":["https://openalex.org/I13469542"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"article"},{"id":"pmh:oai:vubissmart:VUBISSMART:2000:119498","is_oa":false,"landing_page_url":"https://biblio.vub.ac.be/vubir/(5416dcd5-d58e-43cb-a543-04d3b786ac71).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306402573","display_name":"VUBIR (Vrije Universiteit Brussel)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I13469542","host_organization_name":"Vrije Universiteit Brussel","host_organization_lineage":["https://openalex.org/I13469542"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},{"id":"pmh:oai:vubissmart:VUBISSMART:2000:200779","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4306402573","display_name":"VUBIR (Vrije Universiteit Brussel)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I13469542","host_organization_name":"Vrije Universiteit Brussel","host_organization_lineage":["https://openalex.org/I13469542"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"doi:10.1007/978-3-319-89884-1_17","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-319-89884-1_17","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-319-89884-1_17.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","score":0.6399999856948853,"display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321730","display_name":"Fonds Wetenschappelijk Onderzoek","ror":"https://ror.org/03qtxy027"},{"id":"https://openalex.org/F4320322928","display_name":"Danmarks Frie Forskningsfond","ror":"https://ror.org/02sptwz63"},{"id":"https://openalex.org/F4320327336","display_name":"Vlaamse regering","ror":null}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2796499075.pdf","grobid_xml":"https://content.openalex.org/works/W2796499075.grobid-xml"},"referenced_works_count":44,"referenced_works":["https://openalex.org/W4015096","https://openalex.org/W1514258760","https://openalex.org/W1520961854","https://openalex.org/W1539402181","https://openalex.org/W1578946173","https://openalex.org/W1904738922","https://openalex.org/W1991984504","https://openalex.org/W2007974484","https://openalex.org/W2036967823","https://openalex.org/W2037671236","https://openalex.org/W2069107692","https://openalex.org/W2079029390","https://openalex.org/W2091779700","https://openalex.org/W2100559921","https://openalex.org/W2101443478","https://openalex.org/W2104795876","https://openalex.org/W2109219878","https://openalex.org/W2111817346","https://openalex.org/W2113350481","https://openalex.org/W2114834520","https://openalex.org/W2130505204","https://openalex.org/W2147323041","https://openalex.org/W2162598060","https://openalex.org/W2167800525","https://openalex.org/W2171482413","https://openalex.org/W2361817505","https://openalex.org/W2509578035","https://openalex.org/W2509988922","https://openalex.org/W2538456393","https://openalex.org/W2562833768","https://openalex.org/W2590240820","https://openalex.org/W2596377803","https://openalex.org/W2761120147","https://openalex.org/W2912841296","https://openalex.org/W2963888572","https://openalex.org/W3016757878","https://openalex.org/W3119885031","https://openalex.org/W4232498739","https://openalex.org/W4239797127","https://openalex.org/W4244977193","https://openalex.org/W4245410964","https://openalex.org/W4249212548","https://openalex.org/W4252501555","https://openalex.org/W6605484111"],"related_works":["https://openalex.org/W3008339103","https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W2277514059","https://openalex.org/W4241418540","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W1508895727","https://openalex.org/W2103326719"],"abstract_inverted_index":{"Capability":[0],"machines":[1],"provide":[2,32,50],"security":[3],"guarantees":[4,58],"at":[5],"machine":[6,39],"level":[7],"which":[8],"makes":[9],"them":[10],"an":[11],"interesting":[12],"target":[13],"for":[14],"secure":[15],"compilation":[16],"schemes":[17],"that":[18,54],"provably":[19],"enforce":[20],"properties":[21],"such":[22],"as":[23],"control-flow":[24,73],"correctness":[25,74],"and":[26,43,68,75,90],"encapsulation":[27,76],"of":[28,35,65,77],"local":[29,41,78],"state.":[30,79],"We":[31,49],"a":[33,36,45,51],"formalization":[34],"representative":[37],"capability":[38,66],"with":[40],"capabilities":[42],"study":[44],"novel":[46],"calling":[47,88],"convention.":[48],"logical":[52,81],"relation":[53,82],"semantically":[55],"captures":[56],"the":[57,61],"provided":[59],"by":[60],"hardware":[62],"(a":[63],"form":[64],"safety)":[67],"use":[69],"it":[70],"to":[71,86,94],"prove":[72],"The":[80],"is":[83],"not":[84],"specific":[85],"our":[87],"convention":[89],"can":[91],"be":[92],"used":[93],"reason":[95],"about":[96],"arbitrary":[97],"programs.":[98]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":6},{"year":2020,"cited_by_count":5},{"year":2019,"cited_by_count":4},{"year":2018,"cited_by_count":3}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}