{"id":"https://openalex.org/W2150615820","doi":"https://doi.org/10.1145/2451116.2451146","title":"InkTag","display_name":"InkTag","publication_year":2013,"publication_date":"2013-03-16","ids":{"openalex":"https://openalex.org/W2150615820","doi":"https://doi.org/10.1145/2451116.2451146","mag":"2150615820","pmid":"https://pubmed.ncbi.nlm.nih.gov/24429939"},"language":"en","primary_location":{"id":"doi:10.1145/2451116.2451146","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2451116.2451146","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref","pubmed"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/3890416","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5031357586","display_name":"Owen S. Hofmann","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Owen S. Hofmann","raw_affiliation_strings":["The University of Texas at Auatin, Austin, TX, USA"],"affiliations":[{"raw_affiliation_string":"The University of Texas at Auatin, Austin, TX, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102708714","display_name":"Sangman Kim","orcid":"https://orcid.org/0000-0002-1343-644X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Sangman Kim","raw_affiliation_strings":["C, Austin, TX, USA"],"affiliations":[{"raw_affiliation_string":"C, Austin, TX, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090494288","display_name":"Alan M. Dunn","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Alan M. Dunn","raw_affiliation_strings":["The University of Texas at Auatin, Austin, TX, USA"],"affiliations":[{"raw_affiliation_string":"The University of Texas at Auatin, Austin, TX, USA","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5085807444","display_name":"Michael Z. Lee","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Michael Z. Lee","raw_affiliation_strings":["The University of Texas at Auatin, Austin, TX, USA"],"affiliations":[{"raw_affiliation_string":"The University of Texas at Auatin, Austin, TX, USA","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004286577","display_name":"Emmett Witchel","orcid":"https://orcid.org/0000-0002-1391-2880"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Emmett Witchel","raw_affiliation_strings":["The University of Texas at Auatin, Austin, TX, USA"],"affiliations":[{"raw_affiliation_string":"The University of Texas at Auatin, Austin, TX, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5031357586"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":45.3315,"has_fulltext":false,"cited_by_count":239,"citation_normalized_percentile":{"value":0.99841577,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"265","last_page":"278"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9998999834060669,"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.9998999834060669,"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/T11614","display_name":"Cloud Data Security Solutions","score":0.9961000084877014,"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"}},{"id":"https://openalex.org/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9904000163078308,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/hypervisor","display_name":"Hypervisor","score":0.9056974649429321},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7871479988098145},{"id":"https://openalex.org/keywords/virtualization","display_name":"Virtualization","score":0.6755855083465576},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.6706312298774719},{"id":"https://openalex.org/keywords/mandatory-access-control","display_name":"Mandatory access control","score":0.5998075008392334},{"id":"https://openalex.org/keywords/access-control","display_name":"Access control","score":0.5321252346038818},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.4917326271533966},{"id":"https://openalex.org/keywords/metadata","display_name":"Metadata","score":0.45320868492126465},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.45044130086898804},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.4270756244659424},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3619624972343445},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.3494393229484558},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.1565840244293213},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.09925779700279236}],"concepts":[{"id":"https://openalex.org/C112904061","wikidata":"https://www.wikidata.org/wiki/Q1077480","display_name":"Hypervisor","level":4,"score":0.9056974649429321},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7871479988098145},{"id":"https://openalex.org/C513985346","wikidata":"https://www.wikidata.org/wiki/Q270471","display_name":"Virtualization","level":3,"score":0.6755855083465576},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.6706312298774719},{"id":"https://openalex.org/C2777407602","wikidata":"https://www.wikidata.org/wiki/Q1888932","display_name":"Mandatory access control","level":4,"score":0.5998075008392334},{"id":"https://openalex.org/C527821871","wikidata":"https://www.wikidata.org/wiki/Q228502","display_name":"Access control","level":2,"score":0.5321252346038818},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.4917326271533966},{"id":"https://openalex.org/C93518851","wikidata":"https://www.wikidata.org/wiki/Q180160","display_name":"Metadata","level":2,"score":0.45320868492126465},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.45044130086898804},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.4270756244659424},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3619624972343445},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.3494393229484558},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.1565840244293213},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.09925779700279236},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C45567728","wikidata":"https://www.wikidata.org/wiki/Q1702839","display_name":"Role-based access control","level":3,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/2451116.2451146","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2451116.2451146","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the eighteenth international conference on Architectural support for programming languages and operating systems","raw_type":"proceedings-article"},{"id":"pmid:24429939","is_oa":false,"landing_page_url":"https://pubmed.ncbi.nlm.nih.gov/24429939","pdf_url":null,"source":{"id":"https://openalex.org/S4306525036","display_name":"PubMed","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ASPLOS ... proceedings. International Conference on Architectural Support for Programming Languages and Operating Systems","raw_type":null},{"id":"pmh:oai:europepmc.org:2875806","is_oa":false,"landing_page_url":"http://europepmc.org/articles/PMC3890416","pdf_url":null,"source":{"id":"https://openalex.org/S4306400806","display_name":"Europe PMC (PubMed Central)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1303153112","host_organization_name":"European Bioinformatics Institute","host_organization_lineage":["https://openalex.org/I1303153112"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"pmh:oai:pubmedcentral.nih.gov:3890416","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/3890416","pdf_url":null,"source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ASPLOS Proc","raw_type":"Text"}],"best_oa_location":{"id":"pmh:oai:pubmedcentral.nih.gov:3890416","is_oa":true,"landing_page_url":"https://www.ncbi.nlm.nih.gov/pmc/articles/3890416","pdf_url":null,"source":{"id":"https://openalex.org/S2764455111","display_name":"PubMed Central","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1299303238","host_organization_name":"National Institutes of Health","host_organization_lineage":["https://openalex.org/I1299303238"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ASPLOS Proc","raw_type":"Text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":54,"referenced_works":["https://openalex.org/W15883","https://openalex.org/W1112477","https://openalex.org/W73598622","https://openalex.org/W173413620","https://openalex.org/W1482766136","https://openalex.org/W1514761922","https://openalex.org/W1516211918","https://openalex.org/W1535080770","https://openalex.org/W1813040609","https://openalex.org/W1979717085","https://openalex.org/W2029224396","https://openalex.org/W2036853599","https://openalex.org/W2043501224","https://openalex.org/W2059063827","https://openalex.org/W2062340141","https://openalex.org/W2066137796","https://openalex.org/W2076317514","https://openalex.org/W2092423386","https://openalex.org/W2103131117","https://openalex.org/W2105321788","https://openalex.org/W2109219878","https://openalex.org/W2109770980","https://openalex.org/W2110756602","https://openalex.org/W2112731379","https://openalex.org/W2112735498","https://openalex.org/W2115348994","https://openalex.org/W2121699410","https://openalex.org/W2122097147","https://openalex.org/W2128159601","https://openalex.org/W2128852824","https://openalex.org/W2131726714","https://openalex.org/W2133541283","https://openalex.org/W2138580357","https://openalex.org/W2139949621","https://openalex.org/W2147611877","https://openalex.org/W2150709728","https://openalex.org/W2151200195","https://openalex.org/W2159265516","https://openalex.org/W2162800072","https://openalex.org/W2166004296","https://openalex.org/W2167052686","https://openalex.org/W2167804035","https://openalex.org/W2168601499","https://openalex.org/W2266218113","https://openalex.org/W2499974232","https://openalex.org/W2569694760","https://openalex.org/W2915352631","https://openalex.org/W3140837477","https://openalex.org/W4206796831","https://openalex.org/W4210531213","https://openalex.org/W4244704438","https://openalex.org/W4250213256","https://openalex.org/W6600040955","https://openalex.org/W6675903601"],"related_works":["https://openalex.org/W2148749405","https://openalex.org/W2104105430","https://openalex.org/W1515917392","https://openalex.org/W2743348030","https://openalex.org/W1991063492","https://openalex.org/W2613320081","https://openalex.org/W1973516247","https://openalex.org/W2179519055","https://openalex.org/W2413559826","https://openalex.org/W4387237709"],"abstract_inverted_index":{"InkTag":[0,22,61,87],"is":[1,88],"a":[2,18,56],"virtualization-based":[3],"architecture":[4],"that":[5,58],"gives":[6],"strong":[7],"safety":[8],"guarantees":[9],"to":[10,44,69,81,96],"high-assurance":[11],"processes":[12],"even":[13],"in":[14,29,33,41,71,106],"the":[15,24,27,35,42,50,60,65,90,107],"presence":[16],"of":[17,26,37,93,109],"malicious":[19],"operating":[20,31,51,67],"system.":[21,52],"advances":[23],"state":[25],"art":[28],"untrusted":[30,66],"systems":[32],"both":[34],"design":[36],"its":[38,72,94],"hypervisor":[39,62],"and":[40,102],"ability":[43],"run":[45],"useful":[46],"applications":[47,80],"without":[48],"trusting":[49],"We":[53],"introduce":[54],"<i>paraverification</i>,":[55],"technique":[57],"simplifies":[59],"by":[63],"forcing":[64],"system":[68,92,110],"participate":[70],"own":[73],"verification.":[74],"<i>Attribute-based":[75],"access":[76,84],"control</i>":[77],"allows":[78],"trusted":[79],"create":[82],"decentralized":[83],"control":[85],"policies.":[86],"also":[89],"first":[91],"kind":[95],"ensure":[97],"consistency":[98],"between":[99],"secure":[100],"data":[101],"metadata,":[103],"ensuring":[104],"recoverability":[105],"face":[108],"crashes.":[111]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":7},{"year":2024,"cited_by_count":8},{"year":2023,"cited_by_count":8},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":11},{"year":2020,"cited_by_count":24},{"year":2019,"cited_by_count":20},{"year":2018,"cited_by_count":27},{"year":2017,"cited_by_count":39},{"year":2016,"cited_by_count":33},{"year":2015,"cited_by_count":35},{"year":2014,"cited_by_count":19},{"year":2013,"cited_by_count":4}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2016-06-24T00:00:00"}