{"id":"https://openalex.org/W2804756185","doi":"https://doi.org/10.1017/s0960129518000038","title":"Semantics-based software watermarking by abstract interpretation","display_name":"Semantics-based software watermarking by abstract interpretation","publication_year":2018,"publication_date":"2018-05-15","ids":{"openalex":"https://openalex.org/W2804756185","doi":"https://doi.org/10.1017/s0960129518000038","mag":"2804756185"},"language":"en","primary_location":{"id":"doi:10.1017/s0960129518000038","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129518000038","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"},"type":"article","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/A5005632682","display_name":"Mila Dalla Preda","orcid":"https://orcid.org/0000-0003-2761-4347"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"MILA DALLA PREDA","raw_affiliation_strings":["Department of Computer Science, University of Verona, Strada le Grazie 15, Verona 37134, Italy Emails:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Verona, Strada le Grazie 15, Verona 37134, Italy Emails:","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042532202","display_name":"Michele Pasqua","orcid":"https://orcid.org/0000-0002-9475-4836"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"MICHELE PASQUA","raw_affiliation_strings":["Department of Computer Science, University of Verona, Strada le Grazie 15, Verona 37134, Italy Emails:"],"raw_orcid":"https://orcid.org/0000-0002-9475-4836","affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Verona, Strada le Grazie 15, Verona 37134, Italy Emails:","institution_ids":["https://openalex.org/I119439378"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I119439378"],"apc_list":{"value":3550,"currency":"USD","value_usd":3550},"apc_paid":null,"fwci":0.3171,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.58418808,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"29","issue":"2","first_page":"339","last_page":"388"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9998999834060669,"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/T11424","display_name":"Security and Verification in Computing","score":0.9993000030517578,"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/T10260","display_name":"Software Engineering Research","score":0.9900000095367432,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/computer-science","display_name":"Computer science","score":0.8010213375091553},{"id":"https://openalex.org/keywords/digital-watermarking","display_name":"Digital watermarking","score":0.6285240650177002},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.5994940400123596},{"id":"https://openalex.org/keywords/abstract-interpretation","display_name":"Abstract interpretation","score":0.5836507081985474},{"id":"https://openalex.org/keywords/secrecy","display_name":"Secrecy","score":0.5576876997947693},{"id":"https://openalex.org/keywords/watermark","display_name":"Watermark","score":0.5010824203491211},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5010671615600586},{"id":"https://openalex.org/keywords/property","display_name":"Property (philosophy)","score":0.48470139503479004},{"id":"https://openalex.org/keywords/signature","display_name":"Signature (topology)","score":0.47778046131134033},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4754102826118469},{"id":"https://openalex.org/keywords/code","display_name":"Code (set theory)","score":0.42638200521469116},{"id":"https://openalex.org/keywords/identifier","display_name":"Identifier","score":0.42318469285964966},{"id":"https://openalex.org/keywords/identity","display_name":"Identity (music)","score":0.4175625443458557},{"id":"https://openalex.org/keywords/interpretation","display_name":"Interpretation (philosophy)","score":0.4122147262096405},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.362094908952713},{"id":"https://openalex.org/keywords/embedding","display_name":"Embedding","score":0.3509625792503357},{"id":"https://openalex.org/keywords/image","display_name":"Image (mathematics)","score":0.13798657059669495},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13761267066001892},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.0982356071472168}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8010213375091553},{"id":"https://openalex.org/C150817343","wikidata":"https://www.wikidata.org/wiki/Q875932","display_name":"Digital watermarking","level":3,"score":0.6285240650177002},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.5994940400123596},{"id":"https://openalex.org/C2780654840","wikidata":"https://www.wikidata.org/wiki/Q333341","display_name":"Abstract interpretation","level":2,"score":0.5836507081985474},{"id":"https://openalex.org/C2776452267","wikidata":"https://www.wikidata.org/wiki/Q1503443","display_name":"Secrecy","level":2,"score":0.5576876997947693},{"id":"https://openalex.org/C164112704","wikidata":"https://www.wikidata.org/wiki/Q7974348","display_name":"Watermark","level":3,"score":0.5010824203491211},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5010671615600586},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.48470139503479004},{"id":"https://openalex.org/C2779696439","wikidata":"https://www.wikidata.org/wiki/Q7512811","display_name":"Signature (topology)","level":2,"score":0.47778046131134033},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4754102826118469},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.42638200521469116},{"id":"https://openalex.org/C154504017","wikidata":"https://www.wikidata.org/wiki/Q853614","display_name":"Identifier","level":2,"score":0.42318469285964966},{"id":"https://openalex.org/C2778355321","wikidata":"https://www.wikidata.org/wiki/Q17079427","display_name":"Identity (music)","level":2,"score":0.4175625443458557},{"id":"https://openalex.org/C527412718","wikidata":"https://www.wikidata.org/wiki/Q855395","display_name":"Interpretation (philosophy)","level":2,"score":0.4122147262096405},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.362094908952713},{"id":"https://openalex.org/C41608201","wikidata":"https://www.wikidata.org/wiki/Q980509","display_name":"Embedding","level":2,"score":0.3509625792503357},{"id":"https://openalex.org/C115961682","wikidata":"https://www.wikidata.org/wiki/Q860623","display_name":"Image (mathematics)","level":2,"score":0.13798657059669495},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13761267066001892},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0982356071472168},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","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/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s0960129518000038","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s0960129518000038","pdf_url":null,"source":{"id":"https://openalex.org/S101766102","display_name":"Mathematical Structures in Computer Science","issn_l":"0960-1295","issn":["0960-1295","1469-8072"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Mathematical Structures in Computer Science","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":26,"referenced_works":["https://openalex.org/W1489356009","https://openalex.org/W1510228738","https://openalex.org/W1558230924","https://openalex.org/W1567046609","https://openalex.org/W1582574957","https://openalex.org/W1755167160","https://openalex.org/W1899609882","https://openalex.org/W1966571454","https://openalex.org/W2008609084","https://openalex.org/W2014764321","https://openalex.org/W2019763646","https://openalex.org/W2043100293","https://openalex.org/W2046160987","https://openalex.org/W2054904172","https://openalex.org/W2086968222","https://openalex.org/W2102550998","https://openalex.org/W2104489637","https://openalex.org/W2131916295","https://openalex.org/W2146567535","https://openalex.org/W2148888468","https://openalex.org/W2152030816","https://openalex.org/W2156897720","https://openalex.org/W2596118160","https://openalex.org/W3151011622","https://openalex.org/W6671777941","https://openalex.org/W6675530728"],"related_works":["https://openalex.org/W2347574006","https://openalex.org/W1673794023","https://openalex.org/W1976526627","https://openalex.org/W2158172156","https://openalex.org/W2005635730","https://openalex.org/W4281566543","https://openalex.org/W1499604351","https://openalex.org/W2256576792","https://openalex.org/W2022408150","https://openalex.org/W2427518429"],"abstract_inverted_index":{"Software":[0],"watermarking":[1,19,191,206,221,228,257,275],"is":[2,43,56,163,259],"a":[3,27,85,121,134,144,189,200,224,256,267],"software":[4,18,23,89,190],"protection":[5],"technique":[6],"used":[7],"to":[8,58,67,74,114,140,214,241,248],"defend":[9],"the":[10,34,37,45,53,60,63,72,112,125,128,137,167,170,181,184,217,232,252,294,300],"intellectual":[11],"property":[12,123,146,168],"of":[13,124,188,219,227,296],"proprietary":[14],"code.":[15,38],"In":[16,80,105],"particular,":[17],"aims":[20],"at":[21],"preventing":[22],"piracy":[24],"by":[25,51,152],"embedding":[26],"signature,":[28],"i.e.":[29],"an":[30,40],"identifier":[31],"reliably":[32],"representing":[33],"owner,":[35],"in":[36,62,65,127,136,180,231,280],"When":[39],"illegal":[41],"copy":[42],"made,":[44],"owner":[46],"can":[47,109,117,148,265],"claim":[48],"his/her":[49],"identity":[50],"extracting":[52],"signature.":[54],"It":[55],"important":[57],"hide":[59],"signature":[61,135,171],"program":[64,93,288,291],"order":[66],"make":[68],"it":[69,142,211],"difficult":[70],"for":[71,88,157,166,203,254],"attacker":[73],"detect,":[75,173],"tamper":[76,174],"or":[77,175,263],"remove":[78,176],"it.":[79,158,177],"this":[81,106],"work,":[82],"we":[83,108],"present":[84],"formal":[86],"framework":[87,183,202],"watermarking,":[90],"based":[91],"on":[92],"semantics":[94],"and":[95,196,208,210,234,246,269,274,283],"abstract":[96,103,129,160],"interpretation,":[97],"where":[98],"attackers":[99,126,153],"are":[100,155,236,277],"modelled":[101,119],"as":[102,120,143],"interpreters.":[104],"setting,":[107],"prove":[110],"that":[111,147,154,162],"ability":[113],"identify":[115],"signatures":[116],"be":[118,149,266],"completeness":[122],"interpretation":[130],"framework.":[131],"Indeed,":[132,223],"hiding":[133],"code":[138],"corresponds":[139],"embed":[141],"semantic":[145],"retrieved":[150],"only":[151],"complete":[156,165],"Any":[159],"interpreter":[161],"not":[164],"specifying":[169],"cannot":[172],"We":[178],"formalize":[179],"proposed":[182],"major":[185],"quality":[186,218],"features":[187],"technique:":[192],"secrecy,":[193,243],"resilience,":[194,244],"transparence":[195,245],"accuracy.":[197],"This":[198],"provides":[199],"unifying":[201],"interpreting":[204],"both":[205],"schemes":[207,276],"attacks,":[209],"allows":[212],"us":[213],"formally":[215],"compare":[216],"different":[220,281,285],"techniques.":[222],"large":[225],"number":[226],"techniques":[229],"exist":[230],"literature":[233],"they":[235],"typically":[237,278],"evaluated":[238],"with":[239],"respect":[240],"their":[242],"accuracy":[247],"attacks.":[249],"Formally":[250],"identifying":[251],"attacks":[253,273],"which":[255],"scheme":[258],"secret,":[260],"resilient,":[261],"transparent":[262],"accurate":[264],"complex":[268],"error-prone":[270],"task,":[271],"since":[272],"defined":[279],"settings":[282],"using":[284],"languages":[286],"(e.g.":[287],"transformation":[289],"vs.":[290],"analysis),":[292],"complicating":[293],"task":[295],"comparing":[297],"one":[298],"against":[299],"others.":[301]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}