{"id":"https://openalex.org/W1982303263","doi":"https://doi.org/10.1145/508791.508839","title":"Checking security of Java bytecode by abstract interpretation","display_name":"Checking security of Java bytecode by abstract interpretation","publication_year":2002,"publication_date":"2002-03-11","ids":{"openalex":"https://openalex.org/W1982303263","doi":"https://doi.org/10.1145/508791.508839","mag":"1982303263"},"language":"en","primary_location":{"id":"doi:10.1145/508791.508839","doi":"https://doi.org/10.1145/508791.508839","is_oa":false,"landing_page_url":"https://doi.org/10.1145/508791.508839","pdf_url":null,"source":{"id":"https://openalex.org/S4306417581","display_name":"ACM Symposium on Applied Computing","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2002 ACM symposium on Applied computing","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5089634233","display_name":"Roberto Barbuti","orcid":"https://orcid.org/0000-0001-7028-4238","observed_orcids":["https://orcid.org/0000-0001-7028-4238"]},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Roberto Barbuti","raw_affiliation_strings":["Universit\u00e0 di Pisa, Corso Italia 40, 56100 Pisa, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Pisa, Corso Italia 40, 56100 Pisa, Italy","institution_ids":["https://openalex.org/I108290504"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065265267","display_name":"Cinzia Bernardeschi","orcid":"https://orcid.org/0000-0003-1604-4465","observed_orcids":["https://orcid.org/0000-0003-1604-4465"]},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Cinzia Bernardeschi","raw_affiliation_strings":["Universit\u00e0 di Pisa, Via Diotisalvi 2, 56100 Pisa, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Pisa, Via Diotisalvi 2, 56100 Pisa, Italy","institution_ids":["https://openalex.org/I108290504"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111497274","display_name":"Nicoletta De Francesco","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I108290504","display_name":"University of Pisa","ror":"https://ror.org/03ad39j10","country_code":"IT","type":"education","lineage":["https://openalex.org/I108290504"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Nicoletta De Francesco","raw_affiliation_strings":["Universit\u00e0 di Pisa, Via Diotisalvi 2, 56100 Pisa, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e0 di Pisa, Via Diotisalvi 2, 56100 Pisa, Italy","institution_ids":["https://openalex.org/I108290504"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I108290504"],"apc_list":null,"apc_paid":null,"fwci":1.8707,"has_fulltext":false,"cited_by_count":25,"citation_normalized_percentile":{"value":0.85140562,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":95},"biblio":{"volume":"1576","issue":null,"first_page":"229","last_page":"236"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9419000148773193,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10126","display_name":"Logic, programming, and type systems","score":0.9419000148773193,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11424","display_name":"Security and Verification in Computing","score":0.05640000104904175,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.0003000000142492354,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/java-bytecode","display_name":"Java bytecode","score":0.9190000295639038},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"abstract interpretation","score":0.7570000290870667},{"id":"https://openalex.org/keywords/software-security","display_name":"software security","score":0.597000002861023},{"id":"https://openalex.org/keywords/static-analysis","display_name":"static analysis","score":0.8320000171661377},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"operational semantics","score":0.7250000238418579},{"id":"https://openalex.org/keywords/small-step-semantics","display_name":"small-step semantics","score":0.8360000252723694},{"id":"https://openalex.org/keywords/information-flow","display_name":"information flow","score":0.722000002861023},{"id":"https://openalex.org/keywords/abstract-semantics","display_name":"abstract semantics","score":0.9309999942779541},{"id":"https://openalex.org/keywords/security-certification","display_name":"security certification","score":0.531000018119812}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8224961757659912},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.797136127948761},{"id":"https://openalex.org/C2779818221","wikidata":"https://www.wikidata.org/wiki/Q837330","display_name":"Bytecode","level":3,"score":0.7916460633277893},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.7883913516998291},{"id":"https://openalex.org/C2777472213","wikidata":"https://www.wikidata.org/wiki/Q137496","display_name":"Java bytecode","level":5,"score":0.7477215528488159},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5701284408569336},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.5528464317321777},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.5270776152610779},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.4798540472984314},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.46729448437690735},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4395981431007385},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.42958736419677734},{"id":"https://openalex.org/C132106392","wikidata":"https://www.wikidata.org/wiki/Q1373903","display_name":"Real time Java","level":3,"score":0.16420692205429077},{"id":"https://openalex.org/C168702491","wikidata":"https://www.wikidata.org/wiki/Q567345","display_name":"Java annotation","level":4,"score":0.13535022735595703},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13150015473365784}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/508791.508839","doi":"https://doi.org/10.1145/508791.508839","is_oa":false,"landing_page_url":"https://doi.org/10.1145/508791.508839","pdf_url":null,"source":{"id":"https://openalex.org/S4306417581","display_name":"ACM Symposium on Applied Computing","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2002 ACM symposium on Applied computing","raw_type":"proceedings-article"},{"id":"pmh:oai:arpi.unipi.it:11568/79699","doi":null,"is_oa":false,"landing_page_url":"http://hdl.handle.net/11568/79699","pdf_url":null,"source":{"id":"https://openalex.org/S4377196265","display_name":"CINECA IRIS Institutial research information system (University of Pisa)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I108290504","host_organization_name":"University of Pisa","host_organization_lineage":["https://openalex.org/I108290504"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":24,"referenced_works":["https://openalex.org/W1514258760","https://openalex.org/W1521474031","https://openalex.org/W1589806443","https://openalex.org/W1967031800","https://openalex.org/W1990048025","https://openalex.org/W1993302007","https://openalex.org/W2011132234","https://openalex.org/W2011333687","https://openalex.org/W2016017569","https://openalex.org/W2031833469","https://openalex.org/W2047881370","https://openalex.org/W2049641148","https://openalex.org/W2054696368","https://openalex.org/W2067012475","https://openalex.org/W2069107692","https://openalex.org/W2084875723","https://openalex.org/W2094873755","https://openalex.org/W2116647386","https://openalex.org/W2129278597","https://openalex.org/W2150174204","https://openalex.org/W2153297607","https://openalex.org/W2158126684","https://openalex.org/W2160255280","https://openalex.org/W2173102238"],"related_works":["https://openalex.org/W1553357069","https://openalex.org/W2002997445","https://openalex.org/W1499478092","https://openalex.org/W1975691680","https://openalex.org/W7098583629","https://openalex.org/W7096106772","https://openalex.org/W2747580491","https://openalex.org/W2009342609","https://openalex.org/W180941769","https://openalex.org/W2121339234"],"abstract_inverted_index":{"We":[0,30,73],"present":[1],"a":[2,6,32,95,120],"method":[3,17],"to":[4,14,41,99,116,133],"certify":[5],"subset":[7],"of":[8,23,27,37,47,56,62,65,102,106,123],"the":[9,24,28,38,45,60,63,66,70,81,86,127],"Java":[10],"bytecode,":[11],"with":[12],"respect":[13],"security.":[15],"The":[16,104],"is":[18,59],"based":[19],"on":[20,44,69,110,126],"abstract":[21,77,107],"interpretation":[22,108],"operational":[25],"semantics":[26,36,58,90,114],"language.":[29],"define":[31,75],"concrete":[33],"small-step":[34],"enhanced":[35],"language,":[39],"able":[40],"keep":[42],"information":[43,67,83],"flow":[46,68],"data":[48],"and":[49,84],"control":[50],"during":[51],"execution.":[52],"A":[53],"main":[54],"point":[55],"this":[57],"handling":[61],"influence":[64],"operand":[71],"stack.":[72],"then":[74],"an":[76],"semantics,":[78],"keeping":[79],"only":[80],"security":[82,101],"forgetting":[85],"actual":[87],"values.":[88],"This":[89],"can":[91],"be":[92,134],"used":[93],"as":[94,118],"static":[96],"analysis":[97],"tool":[98],"check":[100],"programs.":[103],"use":[105],"allows,":[109],"one":[111],"side,":[112,129],"being":[113,130],"based,":[115,132],"accept":[117],"secure":[119],"wide":[121],"class":[122],"programs,":[124],"and,":[125],"other":[128],"rule":[131],"fully":[135],"automated.":[136]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":1}],"updated_date":"2026-10-05T09:50:58.205359","created_date":"2016-06-24T00:00:00"}