{"id":"https://openalex.org/W2614162471","doi":"https://doi.org/10.1145/3060403.3066870","title":"The Need for Declarative Properties in Digital IC Security","display_name":"The Need for Declarative Properties in Digital IC Security","publication_year":2017,"publication_date":"2017-05-10","ids":{"openalex":"https://openalex.org/W2614162471","doi":"https://doi.org/10.1145/3060403.3066870","mag":"2614162471"},"language":"en","primary_location":{"id":"doi:10.1145/3060403.3066870","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3060403.3066870","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Great Lakes Symposium on VLSI 2017","raw_type":"proceedings-article"},"type":"conference-paper","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/A5053121769","display_name":"Mohamed El Massad","orcid":"https://orcid.org/0000-0002-4085-6036"},"institutions":[{"id":"https://openalex.org/I57206974","display_name":"New York University","ror":"https://ror.org/0190ak572","country_code":"US","type":"education","lineage":["https://openalex.org/I57206974"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mohamed El Massad","raw_affiliation_strings":["New York University, New York, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"New York University, New York, NY, USA","institution_ids":["https://openalex.org/I57206974"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001134058","display_name":"Frank Imeson","orcid":"https://orcid.org/0000-0002-4399-2172"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Frank Imeson","raw_affiliation_strings":["University of Waterloo, Waterloo, ON, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Waterloo, Waterloo, ON, Canada","institution_ids":["https://openalex.org/I151746483"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5010950688","display_name":"Siddharth Garg","orcid":"https://orcid.org/0000-0002-6158-9512"},"institutions":[{"id":"https://openalex.org/I57206974","display_name":"New York University","ror":"https://ror.org/0190ak572","country_code":"US","type":"education","lineage":["https://openalex.org/I57206974"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Siddharth Garg","raw_affiliation_strings":["New York University, New York, NY, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"New York University, New York, NY, USA","institution_ids":["https://openalex.org/I57206974"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081788400","display_name":"Mahesh Tripunitara","orcid":"https://orcid.org/0000-0002-3615-9393"},"institutions":[{"id":"https://openalex.org/I151746483","display_name":"University of Waterloo","ror":"https://ror.org/01aff2v68","country_code":"CA","type":"education","lineage":["https://openalex.org/I151746483"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Mahesh Tripunitara","raw_affiliation_strings":["University of Waterloo, Waterloo, ON, Canada"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Waterloo, Waterloo, ON, Canada","institution_ids":["https://openalex.org/I151746483"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"333","last_page":"338"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":1.0,"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"}},"topics":[{"id":"https://openalex.org/T12122","display_name":"Physical Unclonable Functions (PUFs) and Hardware Security","score":1.0,"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/T14117","display_name":"Integrated Circuits and Semiconductor Failure Analysis","score":0.9950000047683716,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11032","display_name":"VLSI and Analog Circuit Testing","score":0.9678999781608582,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7014598846435547},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3903133273124695}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7014598846435547},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3903133273124695}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3060403.3066870","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3060403.3066870","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Great Lakes Symposium on VLSI 2017","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.41999998688697815,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1518705996","https://openalex.org/W1527197079","https://openalex.org/W1829732909","https://openalex.org/W1952517978","https://openalex.org/W1994870682","https://openalex.org/W2011039300","https://openalex.org/W2023264348","https://openalex.org/W2052353102","https://openalex.org/W2063615695","https://openalex.org/W2064541558","https://openalex.org/W2126693329","https://openalex.org/W2144149750","https://openalex.org/W2152406824","https://openalex.org/W2166778460","https://openalex.org/W2561675875"],"related_works":["https://openalex.org/W4243252198","https://openalex.org/W2135396778","https://openalex.org/W2109507516","https://openalex.org/W1527862632","https://openalex.org/W2118300983","https://openalex.org/W2112962394","https://openalex.org/W3137189469","https://openalex.org/W2740990710","https://openalex.org/W4235530921","https://openalex.org/W2382501300"],"abstract_inverted_index":{"We":[0,16,45,91],"emphasize":[1],"the":[2,10,73,76,93,108,118,130,146],"need":[3],"to":[4,38],"articulate":[5],"precise,":[6],"declarative":[7],"properties":[8],"in":[9,56,101,129],"context":[11,103,131],"of":[12,23,72,75,95,99,111,117,120,132],"securing":[13,27,133],"Digital":[14,28],"ICs.":[15,29],"do":[17],"this":[18,102],"by":[19],"discussing":[20],"two":[21],"pieces":[22],"our":[24,65],"work":[25],"on":[26],"In":[30,107],"one,":[31],"we":[32,113],"discuss":[33],"a":[34,53,96,122,134],"seemingly":[35],"compelling":[36],"approach":[37],"protecting":[39],"Intellectual":[40],"Property":[41],"--":[42],"IC":[43,127],"camouflaging.":[44],"demonstrate":[46],"that":[47,144],"an":[48,70,78,105,115],"adversary":[49],"can":[50,84],"carry":[51],"out":[52],"decamouflaging":[54],"attack,":[55],"practice,":[57],"much":[58],"more":[59],"efficiently":[60],"than":[61],"previously":[62],"thought.":[63],"Underlying":[64],"attack":[66],"is":[67,138],"strong":[68],"foundations:":[69],"identification":[71],"computational-complexity":[74],"problems":[77],"attacker":[79],"faces,":[80],"and":[81],"how":[82],"they":[83],"be":[85],"addressed":[86],"using":[87],"off-the-shelf":[88],"constraint":[89],"solvers.":[90],"identify":[92],"lack":[94],"precise":[97],"characterization":[98],"\"security\"":[100],"as":[104],"issue.":[106],"other":[109],"piece":[110],"work,":[112],"present":[114],"example":[116],"articulation":[119],"such":[121],"security":[123],"property":[124,137],"for":[125],"3D":[126],"technology,":[128],"supply-chain.":[135],"The":[136],"articulated":[139],"declaratively,":[140],"with":[141],"explicit":[142],"assumptions":[143],"underlie":[145],"threat":[147],"model.":[148]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}